File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree 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@08c6903cd8c0fde910a37f88322edcfb5dd907a8 # v5 .0.0
38+ - uses : actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6 .0.2
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@08c6903cd8c0fde910a37f88322edcfb5dd907a8 # v5 .0.0
63+ - uses : actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6 .0.2
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@08c6903cd8c0fde910a37f88322edcfb5dd907a8 # v5 .0.0
17+ - uses : actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6 .0.2
1818 - uses : ./.github/actions/cbmc
1919 with :
2020 gh_token : ${{ secrets.GITHUB_TOKEN }}
Original file line number Diff line number Diff line change 7979 compiler : { darwin: False }
8080 runs-on : ${{ matrix.target.runner }}
8181 steps :
82- - uses : actions/checkout@08c6903cd8c0fde910a37f88322edcfb5dd907a8 # v5 .0.0
82+ - uses : actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6 .0.2
8383 - name : build+functest (default)
8484 uses : ./.github/actions/multi-functest
8585 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@08c6903cd8c0fde910a37f88322edcfb5dd907a8 # v5 .0.0
22+ - uses : actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6 .0.2
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@08c6903cd8c0fde910a37f88322edcfb5dd907a8 # v5 .0.0
63+ - uses : actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6 .0.2
6464 - uses : ./.github/actions/setup-nix
6565 with :
6666 cache : true
You can’t perform that action at this time.
0 commit comments