.github/workflows/ci.yml

Move `dune-project` to the repo root #1566

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	15s
nix	2m 32s
aeneas	4m 34s
eurydice	3m 34s
kyber	10m 45s
	21m 44s