.github/workflows/ci.yml

Use de Bruijn indices for all type-level variables #1716

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
nix	2m 20s
check-version-number	17s
eurydice	0s
aeneas	0s
kyber	0s
	2m 37s