Allow auto-merge in update.yml

The tests seem robust enough that it should be safe to automatically merge PRs with updates. Let's try to use PR auto-merge for this.
zeux · Sep 30, 2023 · 5a1509d · 5a1509d
1 parent 14c12ad
commit 5a1509d
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/update.yml b/.github/workflows/update.yml
@@ -26,3 +26,6 @@ jobs:
         commit-message: Update to 1.3.${{env.VOLK_VERSION}}
         title: Update to 1.3.${{env.VOLK_VERSION}}
         author: GitHub <[email protected]>
+    - name: enable pr automerge
+      run: gh pr merge --merge --auto "1"
+      continue-on-error: true