Back to pull request #346

Merge linear control-flow before reconstruction #1320

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check_if_skip_duplicate_job	8s
check-version-number	10s
nix	3m 0s
eurydice	3m 2s
aeneas	4m 13s
kyber	1m 15s
	11m 48s