diff --git a/.github/workflows/update-toolchain.yml b/.github/workflows/update-toolchain.yml index d62daf2..1f8983f 100644 --- a/.github/workflows/update-toolchain.yml +++ b/.github/workflows/update-toolchain.yml @@ -32,7 +32,7 @@ jobs: fi - 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