Merge pull request #70 from mseri/dependabot/github_actions/peter-eva…

…ns/create-pull-request-7 Bump peter-evans/create-pull-request from 6 to 7
mseri · Sep 4, 2024 · 615a8db · 615a8db
2 parents 08e8a7c + f4eac7f
commit 615a8db
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/update.yml b/.github/workflows/update.yml
@@ -63,7 +63,7 @@ jobs:
 
       - name: Open PR if the updated lean build was successful
         if: steps.build-lean.outcome == 'success'
-        uses: peter-evans/create-pull-request@v6
+        uses: peter-evans/create-pull-request@v7
         with:
           title: "Updates available and ready to merge."
           body: "To do: add useful details here..."