Skip to content

Commit 43736bd

Browse files
authored
Upgrade GitHub Actions to latest versions (#2914)
Signed-off-by: Salman Muin Kayser Chishti <[email protected]>
1 parent 5754fd7 commit 43736bd

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@98357b18bf14b5342f975ff684046ec3b2a07725 # v8.0.0
65+
uses: peter-evans/create-pull-request@c0f553fe549906ede9cf27b5156039d195d2ece0 # v8.1.0
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@98357b18bf14b5342f975ff684046ec3b2a07725 # v8.0.0
47+
uses: peter-evans/create-pull-request@c0f553fe549906ede9cf27b5156039d195d2ece0 # v8.1.0
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@98357b18bf14b5342f975ff684046ec3b2a07725 # v8.0.0
146+
uses: peter-evans/create-pull-request@c0f553fe549906ede9cf27b5156039d195d2ece0 # v8.1.0
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@98357b18bf14b5342f975ff684046ec3b2a07725 # v8.0.0
192+
uses: peter-evans/create-pull-request@c0f553fe549906ede9cf27b5156039d195d2ece0 # v8.1.0
193193
with:
194194
commit-message: "[ci] Roll pinned Kani version"
195195
author: Google PR Creation Bot <[email protected]>

0 commit comments

Comments
 (0)