Skip to content

Commit 70e86f2

Browse files
[CI] Bump peter-evans/create-pull-request from 7.0.5 to 7.0.9 (#2824)
Bumps [peter-evans/create-pull-request](https://github.com/peter-evans/create-pull-request) from 7.0.5 to 7.0.9. - [Release notes](https://github.com/peter-evans/create-pull-request/releases) - [Commits](peter-evans/create-pull-request@5e91468...84ae59a) --- updated-dependencies: - dependency-name: peter-evans/create-pull-request dependency-version: 7.0.9 dependency-type: direct:production update-type: version-update:semver-patch ... Signed-off-by: dependabot[bot] <[email protected]> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
1 parent f7c9c51 commit 70e86f2

File tree

3 files changed

+4
-4
lines changed

3 files changed

+4
-4
lines changed

.github/workflows/backport-pr.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -62,7 +62,7 @@ jobs:
6262
echo "AUTHOR=$AUTHOR" >> $GITHUB_ENV
6363
6464
- name: Submit PR
65-
uses: peter-evans/create-pull-request@5e914681df9dc83aa4e4905692ca88beb2f9e91f # v7.0.5
65+
uses: peter-evans/create-pull-request@84ae59a2cdc2258d6fa0732dd66352dddae2a412 # v7.0.9
6666
with:
6767
author: "${{ env.AUTHOR }}"
6868
committer: "${{ env.AUTHOR }}"

.github/workflows/release-crate-version.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -44,7 +44,7 @@ jobs:
4444

4545
- name: Submit PR
4646
id: submit-pr
47-
uses: peter-evans/create-pull-request@5e914681df9dc83aa4e4905692ca88beb2f9e91f # v7.0.5
47+
uses: peter-evans/create-pull-request@84ae59a2cdc2258d6fa0732dd66352dddae2a412 # v7.0.9
4848
with:
4949
commit-message: "Release ${{ github.event.inputs.version }}"
5050
author: Google PR Creation Bot <[email protected]>

.github/workflows/roll-pinned-toolchain-versions.yml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -143,7 +143,7 @@ jobs:
143143
144144
- name: Submit PR
145145
id: submit-pr
146-
uses: peter-evans/create-pull-request@5e914681df9dc83aa4e4905692ca88beb2f9e91f # v7.0.5
146+
uses: peter-evans/create-pull-request@84ae59a2cdc2258d6fa0732dd66352dddae2a412 # v7.0.9
147147
with:
148148
commit-message: "[ci] Roll pinned ${{ matrix.toolchain }} toolchain"
149149
author: Google PR Creation Bot <[email protected]>
@@ -189,7 +189,7 @@ jobs:
189189
sed -i -E -e "s/^( *kani-version:)( [0-9]+\.[0-9]+\.[0-9]+)/\1 $KANI_LATEST/" .github/workflows/ci.yml
190190
- name: Submit PR
191191
id: submit-pr
192-
uses: peter-evans/create-pull-request@5e914681df9dc83aa4e4905692ca88beb2f9e91f # v7.0.5
192+
uses: peter-evans/create-pull-request@84ae59a2cdc2258d6fa0732dd66352dddae2a412 # v7.0.9
193193
with:
194194
commit-message: "[ci] Roll pinned Kani version"
195195
author: Google PR Creation Bot <[email protected]>

0 commit comments

Comments
 (0)