.github/workflows/ci.yml

Merge pull request #341 from Nadrieril/keep-marker-traits #1311

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check_if_skip_duplicate_job	6s
check-version-number	8s
nix	12s
eurydice	33s
aeneas	11s
kyber	1m 7s
	2m 17s