Merge pull request #31 from rust-lang/ci-use-a-merge-queue

ci: use a merge queue

Author: marcoieni

.github/workflows/ci.yml

@@ -2,10 +2,8 @@ name: CI
 
 on:
   workflow_dispatch:
-  push:
-    branches:
-      - "main"
   pull_request:
+  merge_group:
 
 permissions: {}