Run evaluation

Small fixes and reduced verbosity for setup #16

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
eval (carbon)	3m 36s
eval (dafny)	3m 35s
eval (fstar)	3m 36s
eval (silicon)	3m 35s
eval (smt-comp)	3m 35s
eval (verus)	3m 41s
	21m 38s