Fix flake #557
nix.yaml
on: pull_request
check
5m 42s
charon-pin-is-forward
6s
charon-pin-is-merged
6s
kyber
6m 27s