.github/workflows/ci.yml

fix(hax): `VariantInformations` has now a `kind` field, use that #1485

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	7s
nix	1s
aeneas	1s
eurydice	1s
kyber	1s
	16s