Merge pull request #19 from jacobbramley/cvms/merge-queues

CapableVMs: Migrate to merge queues.
capablevms · Dec 11, 2023 · d8d4b6d · d8d4b6d
2 parents 44f2044 + e0cdb51
commit d8d4b6d
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 6 deletions.
diff --git a/.github/workflows/merge.yaml b/.github/workflows/merge.yaml
@@ -0,0 +1,9 @@
+on:
+  pull_request:
+  merge_group:
+
+jobs:
+  dummy:
+    runs-on: ubuntu-latest
+    steps:
+      - run: /usr/bin/true
diff --git a/bors.toml b/bors.toml