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
..
publish-latest.yml	Fix workflow to publish latest release (#364)	2023-04-26 16:54:52 +02:00
push.yml	Add merge_group trigger for build (#612)	2023-07-26 12:48:05 +00:00
release-snapshot.yml	Rename bricks -> databricks (#389)	2023-05-16 18:35:39 +02:00
release.yml	Fix workflow to publish latest release (#364)	2023-04-26 16:54:52 +02:00