.github/workflows/ci.yml

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

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	56s
aeneas	0s
eurydice	0s
kyber	0s
	1m 6s