.github/workflows/ci.yml

Merge pull request #397 from Nadrieril/comments-keep-indent #1439

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check-version-number	6s
check_if_skip_duplicate_job	4s
nix	10s
eurydice	7s
aeneas	6s
kyber	1m 37s
	2m 10s