File tree Expand file tree Collapse file tree 3 files changed +3
-3
lines changed Expand file tree Collapse file tree 3 files changed +3
-3
lines changed Original file line number Diff line number Diff line change 37
37
git diff
38
38
fi
39
39
- name : Create Pull Request
40
- uses : peter-evans/create-pull-request@v5
40
+ uses : peter-evans/create-pull-request@v6
41
41
with :
42
42
commit-message : Upgrade cargo dependencies to ${{ env.today }}
43
43
branch : cargo-update-${{ env.today }}
Original file line number Diff line number Diff line change 63
63
64
64
- name : Create Pull Request
65
65
if : ${{ env.next_step == 'create_pr' }}
66
- uses : peter-evans/create-pull-request@v5
66
+ uses : peter-evans/create-pull-request@v6
67
67
with :
68
68
commit-message : Upgrade CBMC from ${{ env.CBMC_VERSION }} to ${{ env.CBMC_LATEST }}
69
69
branch : cbmc-${{ env.CBMC_LATEST }}
Original file line number Diff line number Diff line change 68
68
fi
69
69
- name : Create Pull Request
70
70
if : ${{ env.next_step == 'create_pr' }}
71
- uses : peter-evans/create-pull-request@v5
71
+ uses : peter-evans/create-pull-request@v6
72
72
with :
73
73
commit-message : Upgrade Rust toolchain to nightly-${{ env.next_toolchain_date }}
74
74
branch : toolchain-${{ env.next_toolchain_date }}
You can’t perform that action at this time.
0 commit comments