Merge pull request #1892 from o1-labs/dependabot/github_actions/peter-evans/create-pull-request-8

Bump peter-evans/create-pull-request from 7 to 8

Author: dannywillems

.github/workflows/check-ocaml-refs.yaml

@@ -143,7 +143,7 @@ jobs:
 
       - name: Create Pull Request
         if: steps.changes.outputs.has_changes == 'true' && github.event_name != 'pull_request'
-        uses: peter-evans/create-pull-request@v7
+        uses: peter-evans/create-pull-request@v8
         with:
           token: ${{ secrets.GITHUB_TOKEN }}
           commit-message: |