Martin Nordholts 48dc2b0d90 CICD: Add all-jobs job ... This opens up future possibilities: * GitHub's auto-merge feature that merges a PR once CI passes * Auto-merge of dependabot PRs that pass CI But before we do any of that we need to have this new job active for a while to see that it works.		2023-09-01 17:42:14 +02:00
..
CICD.yml	CICD: Add all-jobs job	2023-09-01 17:42:14 +02:00