Jack Grigg 46f2815ad3 CI: Only run CI workflow once per PR ... The previous configuration would run CI twice for every PR, on: - The merge commit with the base branch. - The tip commit of the PR branch. The latter is only useful for debugging. However, we still want to run CI directly on the `main` branch, to ensure that any PRs with runtime conflicts but not code conflicts get tested in combination.		2024-03-08 20:35:04 +00:00
..
actions/prepare	CI: Replace `--all-features` with common feature config	2024-01-24 23:41:43 +00:00
workflows	CI: Only run CI workflow once per PR	2024-03-08 20:35:04 +00:00
dependabot.yml	CI: Add Dependabot config to keep GitHub Actions up-to-date	2021-09-01 00:35:35 +01:00