Martin von Zweigbergk 3b447703e5 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.		2024-06-18 11:29:04 +09:00
..
ISSUE_TEMPLATE
scripts
workflows	github: run CI on push, not only on PRs	2024-06-18 11:29:04 +09:00
dependabot.yml
PULL_REQUEST_TEMPLATE.md