github: run CI on push, not only on PRs

By running CI on push to any branch, collaborators can check that CI
passes before sending for review, reducing mail spam and wasted
reviewer time before the code is ready.
This commit is contained in:
Martin von Zweigbergk 2024-06-16 22:23:30 -07:00 committed by Martin von Zweigbergk
parent 4ab1fc9bfe
commit 3b447703e5

View file

@ -2,8 +2,6 @@ name: build
on:
push:
branches:
- main
pull_request:
permissions: read-all