Achilleas Koutsou 54dfe70b41 github: run tests on push again ... We've temporarily disabled the merge queue because our tests often require retries to go all-green and this isn't possible to do on the queue, meaning that it's close to impossible to get a PR merged. Run tests on push so that they run in main when a PR is merged. This reverts commit 63feab7d86.		2023-12-22 19:28:12 +01:00
..
workflows	github: run tests on push again	2023-12-22 19:28:12 +01:00
mergify.yml	[skip ci] ci: switch to using automerge	2021-12-08 14:13:43 +01:00