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