.github/workflows/ci.yml

Remove accidental `hax` dependency in `charon-lib` #1380

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check_if_skip_duplicate_job	6s
check-version-number	13s
nix	3m 4s
aeneas	8m 33s
eurydice	3m 6s
kyber	10m 50s
	25m 52s