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
..
build-nix.yml	github: bump the github-dependencies group with 2 updates	2024-06-13 13:01:47 -05:00
build.yml	github: run CI on push, not only on PRs	2024-06-18 11:29:04 +09:00
codespell.yml	github: bump the github-dependencies group with 2 updates	2024-06-13 13:01:47 -05:00
dependabot.yml	github: fix name of workflow for Dependabot auto-merge	2023-03-30 19:29:18 -07:00
docs.yml	github: bump the github-dependencies group with 2 updates	2024-06-13 13:01:47 -05:00
release.yml	github: bump the github-dependencies group with 2 updates	2024-06-13 13:01:47 -05:00
scorecards.yml	github: bump the github-dependencies group with 2 updates	2024-06-13 13:01:47 -05:00