File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 5151
5252 - name : Upload corpus
5353 if : always()
54- uses : actions/upload-artifact@v6
54+ uses : actions/upload-artifact@v7
5555 with :
5656 name : fuzz-corpus-${{ matrix.sanitizer }}
5757 path : build/corpus
Original file line number Diff line number Diff line change @@ -252,7 +252,7 @@ jobs:
252252 run : cargo build --release --target ${{ matrix.target }}
253253
254254 - name : Upload artifact
255- uses : actions/upload-artifact@v6
255+ uses : actions/upload-artifact@v7
256256 with :
257257 name : ${{ matrix.artifact }}
258258 path : impl/rust-cli/target/${{ matrix.target }}/release/vsh${{ matrix.os == 'windows-latest' && '.exe' || '' }}
Original file line number Diff line number Diff line change 2525 fetch-depth : 0 # Full history for better pattern analysis
2626
2727 - name : Setup Elixir for Hypatia scanner
28- uses : erlef/setup-beam@e6d7c94229049569db56a7ad5a540c051a010af9 # v1.18.2
28+ uses : erlef/setup-beam@3580539ceec3dc05b0ed51e9e10b08eb7a7c2bb4 # v1.18.2
2929 with :
3030 elixir-version : ' 1.19.4'
3131 otp-version : ' 28.3'
7575 echo "- Medium: $MEDIUM" >> $GITHUB_STEP_SUMMARY
7676
7777 - name : Upload findings artifact
78- uses : actions/upload-artifact@47309c993abb98030a35d55ef7ff34b7fa1074b5 # v4
78+ uses : actions/upload-artifact@bbbca2ddaa5d8feaa63e36b76fdaad77386f024f # v4
7979 with :
8080 name : hypatia-findings
8181 path : hypatia-findings.json
Original file line number Diff line number Diff line change @@ -115,7 +115,7 @@ jobs:
115115 # Note: with-lean binary would be in different target dir, skip for now
116116
117117 - name : Upload artifacts
118- uses : actions/upload-artifact@v6
118+ uses : actions/upload-artifact@v7
119119 with :
120120 name : lean-extraction-artifacts
121121 path : |
@@ -172,7 +172,7 @@ jobs:
172172 cargo bench --bench lean_verification_overhead -- --baseline baseline
173173
174174 - name : Upload benchmark results
175- uses : actions/upload-artifact@v6
175+ uses : actions/upload-artifact@v7
176176 with :
177177 name : benchmark-results
178178 path : impl/rust-cli/target/criterion/
Original file line number Diff line number Diff line change 3232 find . -type f -size +1M -not -path "./.git/*" | head -10 || echo "No large files"
3333
3434 - name : EditorConfig check
35- uses : editorconfig-checker/action-editorconfig-checker@4054fa83a075fdf090bd098bdb1c09aaf64a4169 # main
35+ uses : editorconfig-checker/action-editorconfig-checker@1a8ea00bde2ec25afe074a2cdc15b1fd7fb60a39 # main
3636 continue-on-error : true
3737
3838 docs :
Original file line number Diff line number Diff line change 3939
4040 - name : Upload validation report
4141 if : always()
42- uses : actions/upload-artifact@v6
42+ uses : actions/upload-artifact@v7
4343 with :
4444 name : validation-report
4545 path : validation-report.md
You can’t perform that action at this time.
0 commit comments