File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 6262 echo "AUTHOR=$AUTHOR" >> $GITHUB_ENV
6363
6464 - name : Submit PR
65- uses : peter-evans/create-pull-request@22a9089034f40e5a961c8808d113e2c98fb63676 # v7 .0.11
65+ uses : peter-evans/create-pull-request@98357b18bf14b5342f975ff684046ec3b2a07725 # v8 .0.0
6666 with :
6767 author : " ${{ env.AUTHOR }}"
6868 committer : " ${{ env.AUTHOR }}"
Original file line number Diff line number Diff line change @@ -622,7 +622,7 @@ jobs:
622622 --verbose \
623623 -- --skip ui
624624 - name : Upload coverage to Codecov
625- uses : codecov/codecov-action@5a1091511ad55cbe89839c7260b706298ca349f7 # v5.5.1
625+ uses : codecov/codecov-action@671740ac38dd9b0130fbe1cec585b89eea48d3de # v5.5.2
626626 with :
627627 token : ${{ secrets.CODECOV_TOKEN }}
628628 files : lcov.info
Original file line number Diff line number Diff line change 3131 contents : read
3232 steps :
3333 - name : Harden Runner
34- uses : step-security/harden-runner@df199fb7be9f65074067a9eb93f12bb4c5547cf2 # v2.13.3
34+ uses : step-security/harden-runner@20cf305ff2072d973412fa9b1e3a4f227bda3c76 # v2.14.0
3535 with :
3636 egress-policy : audit
3737
Original file line number Diff line number Diff line change 4444
4545 - name : Submit PR
4646 id : submit-pr
47- uses : peter-evans/create-pull-request@22a9089034f40e5a961c8808d113e2c98fb63676 # v7 .0.11
47+ uses : peter-evans/create-pull-request@98357b18bf14b5342f975ff684046ec3b2a07725 # v8 .0.0
4848 with :
4949 commit-message : " Release ${{ github.event.inputs.version }}"
5050 author : Google PR Creation Bot <github-pull-request-creation-bot@google.com>
Original file line number Diff line number Diff line change @@ -143,7 +143,7 @@ jobs:
143143
144144 - name : Submit PR
145145 id : submit-pr
146- uses : peter-evans/create-pull-request@22a9089034f40e5a961c8808d113e2c98fb63676 # v7 .0.11
146+ uses : peter-evans/create-pull-request@98357b18bf14b5342f975ff684046ec3b2a07725 # v8 .0.0
147147 with :
148148 commit-message : " [ci] Roll pinned ${{ matrix.toolchain }} toolchain"
149149 author : Google PR Creation Bot <github-pull-request-creation-bot@google.com>
@@ -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@22a9089034f40e5a961c8808d113e2c98fb63676 # v7 .0.11
192+ uses : peter-evans/create-pull-request@98357b18bf14b5342f975ff684046ec3b2a07725 # v8 .0.0
193193 with :
194194 commit-message : " [ci] Roll pinned Kani version"
195195 author : Google PR Creation Bot <github-pull-request-creation-bot@google.com>
Original file line number Diff line number Diff line change @@ -64,14 +64,14 @@ jobs:
6464 # Upload the results as artifacts (optional). Commenting out will disable uploads of run results in SARIF
6565 # format to the repository Actions tab.
6666 - name : " Upload artifact"
67- uses : actions/upload-artifact@330a01c490aca151604b8cf639adc76d48f6c5d4 # v5 .0.0
67+ uses : actions/upload-artifact@b7c566a772e6b6bfb58ed0dc250532a479d7789f # v6 .0.0
6868 with :
6969 name : SARIF file
7070 path : results.sarif
7171 retention-days : 5
7272
7373 # Upload the results to GitHub's code scanning dashboard.
7474 - name : " Upload to code-scanning"
75- uses : github/codeql-action/upload-sarif@cf1bb45a277cb3c205638b2cd5c984db1c46a412 # v4.31.7
75+ uses : github/codeql-action/upload-sarif@1b168cd39490f61582a9beae412bb7057a6b2c4e # v4.31.8
7676 with :
7777 sarif_file : results.sarif
You can’t perform that action at this time.
0 commit comments