From 7afce91e4fcee25c1ed06dca8d71b82bed396776 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Tue, 3 Sep 2024 10:32:16 +0000 Subject: [PATCH] chore: bump peter-evans/create-pull-request from 6 to 7 Bumps [peter-evans/create-pull-request](https://github.com/peter-evans/create-pull-request) from 6 to 7. - [Release notes](https://github.com/peter-evans/create-pull-request/releases) - [Commits](https://github.com/peter-evans/create-pull-request/compare/v6...v7) --- updated-dependencies: - dependency-name: peter-evans/create-pull-request dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] --- .github/workflows/update-toolchain.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/update-toolchain.yml b/.github/workflows/update-toolchain.yml index f6353ad7..2d1c8131 100644 --- a/.github/workflows/update-toolchain.yml +++ b/.github/workflows/update-toolchain.yml @@ -25,7 +25,7 @@ jobs: echo "leanprover/lean4:$LEAN_TAG" > lean-toolchain - name: create pull request - uses: peter-evans/create-pull-request@v6 + uses: peter-evans/create-pull-request@v7 with: commit-message: "chore: update toolchain ${{ env.LEAN_TAG }}" committer: GitHub