Don't trigger CI on non-main branches #1605
ci.yml
on: pull_request
nix
3m 34s
lean
16m 9s
charon-pin-is-forward
9s
charon-pin-is-merged
7s
userdocs
4s