Various tweaks #1806
ci.yml
on: pull_request
nix
4m 59s
check-version-number
14s
aeneas
10m 14s
kyber
5m 30s