Update hax #1834
ci.yml
on: pull_request
nix
5m 13s
check-version-number
17s
aeneas
14m 41s
kyber
7m 28s