Merge pull request #554 from Seasawher/dependabot/github_actions/peter-evans/create-pull-request-8

Author: Seasawher

.github/workflows/update.yaml

@@ -47,7 +47,7 @@ jobs:
 
       - name: Create Pull Request
         if: steps.update-lean-mathlib.outputs.result == 'update-success'
-        uses: peter-evans/create-pull-request@v7
+        uses: peter-evans/create-pull-request@v8
         with:
           commit-message: "generated by GitHub Action"
           committer: "GitHub Action <[email protected]>"