.github/workflows/ci.yml

Use `hax` for item name translation #1581

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check_if_skip_duplicate_job	1s
check-version-number	1s
nix	1s
eurydice	1s
aeneas	1s
kyber	1s
	6s