formal-verification

Use new images for fuzzing and x509 #60

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
define_matrix	7s
fv-saw-x86_64-aes-gcm	1s
fv-saw-x86_64	1s
fv-nsym-aarch64	1s
fv-saw-aarch64	1s
	11s