.github/workflows/ci.yml

Merge pull request #398 from Nadrieril/translate-generics #1443

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check_if_skip_duplicate_job	5s
check-version-number	6s
nix	9s
aeneas	7s
eurydice	7s
kyber	1m 49s
	2m 23s