.github/workflows/ci.yml

Transform associated types into type parameters #1847

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check-version-number	8s
nix	3m 52s
aeneas	8m 50s
eurydice	4m 22s
kyber	5m 39s
	22m 51s