Enable the GitHub merge queue (#349)

Author: mrobinson

.github/workflows/main.yml

@@ -2,10 +2,12 @@ name: CI
 
 on:
   push:
-    branches: [auto]
+    branches: [master]
   pull_request:
   workflow_dispatch:
-
+  merge_group:
+    types: [checks_requested]
+    
 jobs:
   linux-ci:
     name: Linux
@@ -49,7 +51,7 @@ jobs:
         working-directory: macros
 
   build_result:
-    name: homu build finished
+    name: Result
     runs-on: ubuntu-latest
     needs:
       - "linux-ci"