CI

Upgrade Z3 version used in the AES-GCM x86 proof #838

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	28m 34s
coq	28m 34s
coq	27m 48s
coq	27m 48s
saw-aarch64	3m 31s
saw-aarch64	3m 31s
saw-aarch64	2m 55s
saw-aarch64	2m 55s
nsym	9m 48s
nsym	9m 48s
nsym	9m 6s
nsym	9m 6s
saw-x86_64	20m 58s
saw-x86_64	20m 58s
saw-x86_64	19m 36s
saw-x86_64	19m 36s
saw-x86_64-aes-gcm	50m 15s
saw-x86_64-aes-gcm	39m 50s
saw-x86_64-aes-gcm	45m 9s
saw-x86_64-aes-gcm	29m 3s
	6h 48m 49s