Tweak flake #1610
ci.yml
on: pull_request
nix
3m 10s
lean
12m 58s
charon-pin-is-forward
8s
charon-pin-is-merged
42s
userdocs
4s