.github/workflows/ci.yml

Merge pull request #413 from Nadrieril/use-the-right-mir #1477

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check_if_skip_duplicate_job	4s
check-version-number	6s
nix	9s
aeneas	6s
eurydice	6s
kyber	2m 49s
	3m 20s