Pieter Noordhuis 8cdf7284f8 Add merge_group trigger for build (#612) ... ## Changes Also see [GitHub docs](https://docs.github.com/en/repositories/configuring-branches-and-merges-in-your-repository/configuring-pull-request-merges/managing-a-merge-queue#triggering-merge-group-checks-with-github-actions). ## Tests n/a		2023-07-26 12:48:05 +00:00
..
workflows	Add merge_group trigger for build (#612)	2023-07-26 12:48:05 +00:00
PULL_REQUEST_TEMPLATE.md	Add PR template (#274)	2023-03-23 17:38:40 +01:00
dependabot.yml	Create dependabot.yml	2022-05-14 21:11:53 +02:00