Add CI support for merge queues. This should let us use merge queues, which will save some of the pain of waiting for CI to run before being able to press buttons.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 1a024d9..25cddb5 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml
@@ -5,6 +5,7 @@ branches: [ main ] pull_request: branches: [ main ] + merge_group: workflow_dispatch: jobs: