.github/workflows/ci.yml

rustc-tests: Fix the summary used in CI #1900

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
nix	15s
check-version-number	9s
eurydice	37s
aeneas	6s
kyber	6m 34s
	7m 41s