.github/workflows/ci.yml

Store bodies directly in function declarations #1789

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check-version-number	15s
nix	53s
aeneas	10m 21s
eurydice	5m 28s
kyber	5m 25s
	22m 22s