Achilleas Koutsou 63feab7d86 github: run tests on merge queue ... Don't run checks on push to main since the tip of the merge queue is the same.		2023-12-21 18:47:23 +01:00
..
workflows	github: run tests on merge queue	2023-12-21 18:47:23 +01:00
mergify.yml	[skip ci] ci: switch to using automerge	2021-12-08 14:13:43 +01:00