File tree Expand file tree Collapse file tree 4 files changed +6
-6
lines changed Expand file tree Collapse file tree 4 files changed +6
-6
lines changed Original file line number Diff line number Diff line change 3535 name : Quickcheck (${{ matrix.target.name }}, ACVP ${{ matrix.acvp-version }})
3636 runs-on : ${{ matrix.target.runner }}
3737 steps :
38- - uses : actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
38+ - uses : actions/checkout@08c6903cd8c0fde910a37f88322edcfb5dd907a8 # v5.0.0
3939 - name : Run ACVP test
4040 run : |
4141 make
6060 name : Quickcheck C90 (${{ matrix.target.name }})
6161 runs-on : ${{ matrix.target.runner }}
6262 steps :
63- - uses : actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
63+ - uses : actions/checkout@08c6903cd8c0fde910a37f88322edcfb5dd907a8 # v5.0.0
6464 with :
6565 submodules : true
6666 - name : make quickcheck
Original file line number Diff line number Diff line change 1414 name : CBMC
1515 runs-on : ubuntu-latest
1616 steps :
17- - uses : actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
17+ - uses : actions/checkout@08c6903cd8c0fde910a37f88322edcfb5dd907a8 # v5.0.0
1818 - uses : ./.github/actions/cbmc
1919 with :
2020 gh_token : ${{ secrets.GITHUB_TOKEN }}
Original file line number Diff line number Diff line change 7676 compiler : { darwin: False }
7777 runs-on : ${{ matrix.target.runner }}
7878 steps :
79- - uses : actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
79+ - uses : actions/checkout@08c6903cd8c0fde910a37f88322edcfb5dd907a8 # v5.0.0
8080 - name : build+functest (default)
8181 uses : ./.github/actions/multi-functest
8282 with :
Original file line number Diff line number Diff line change 1919 outputs :
2020 run_needed : ${{ steps.check_run.outputs.run_needed }}
2121 steps :
22- - uses : actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
22+ - uses : actions/checkout@08c6903cd8c0fde910a37f88322edcfb5dd907a8 # v5.0.0
2323 if : github.event_name != 'workflow_dispatch'
2424 with :
2525 fetch-depth : 0
6060 name : build nix cache (${{ matrix.runner }})
6161 runs-on : ${{ matrix.runner }}
6262 steps :
63- - uses : actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
63+ - uses : actions/checkout@08c6903cd8c0fde910a37f88322edcfb5dd907a8 # v5.0.0
6464 - uses : ./.github/actions/setup-nix
6565 with :
6666 cache : true
You can’t perform that action at this time.
0 commit comments