WIP: testing new publish ci x10

ibois-epfl · Aug 23, 2024 · 1bbea67 · 1bbea67
1 parent 92b5bbe
commit 1bbea67
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml
@@ -57,7 +57,7 @@ jobs:
 
     - name: Merge pull request
       run: |
-        gh pr merge --squash --delete-branch
+        gh pr merge --squash --delete-branch  --admin
       env:
         GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}