ci: Update update-pr action to newest version. (cvc5#10576)

ajreynol · Apr 3, 2024 · a1b585a · a1b585a
1 parent 548dc95
commit a1b585a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -194,7 +194,7 @@ jobs:
       group: update-pr
     steps:
       - name: Automatically update PR
-        uses: adRise/update-pr-branch@v0.6.0
+        uses: adRise/update-pr-branch@v0.7.2
         with:
           token: ${{ secrets.ACTION_USER_TOKEN }}
           base: 'main'