Skip to content

Commit b3a7ef3

Browse files
dependabot[bot]dependabot[bot]
authored
Bump actions/upload-artifact from 4 to 7
Bumps [actions/upload-artifact](https://github.com/actions/upload-artifact) from 4 to 7. - [Release notes](https://github.com/actions/upload-artifact/releases) - [Commits](actions/upload-artifact@v4...v7) --- updated-dependencies: - dependency-name: actions/upload-artifact dependency-version: '7' dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] <support@github.com>
1 parent 24242ec commit b3a7ef3

8 files changed

Lines changed: 45 additions & 45 deletions

File tree

‎.github/workflows/android-build.yml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -33,7 +33,7 @@ jobs:
3333
tar -cvf z3-build-${{ matrix.android-abi }}.tar *.jar *.so
3434
3535
- name: Archive production artifacts
36-
uses: actions/upload-artifact@v7.0.1
36+
uses: actions/upload-artifact@v7
3737
with:
3838
name: android-build-${{ matrix.android-abi }}
3939
path: build/z3-build-${{ matrix.android-abi }}.tar

‎.github/workflows/coverage.yml‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -89,13 +89,13 @@ jobs:
8989
id: date
9090
run: echo "date=$(date +'%Y-%m-%d')" >> $GITHUB_OUTPUT
9191

92-
- uses: actions/upload-artifact@v7.0.1
92+
- uses: actions/upload-artifact@v7
9393
with:
9494
name: coverage-${{steps.date.outputs.date}}
9595
path: ${{github.workspace}}/coverage.html
9696
retention-days: 4
9797

98-
- uses: actions/upload-artifact@v7.0.1
98+
- uses: actions/upload-artifact@v7
9999
with:
100100
name: coverage-details-${{steps.date.outputs.date}}
101101
path: ${{env.COV_DETAILS_PATH}}

‎.github/workflows/docs.yml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -34,7 +34,7 @@ jobs:
3434
python3 mk_go_doc.py --output-dir=api/html/go --go-api-path=../src/api/go
3535
3636
- name: Upload Go Documentation
37-
uses: actions/upload-artifact@v7.0.1
37+
uses: actions/upload-artifact@v7
3838
with:
3939
name: go-docs
4040
path: doc/api/html/go/

‎.github/workflows/fstar-master-build.yml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -147,7 +147,7 @@ jobs:
147147
- name: Upload generated SMT2 artifact
148148
id: upload_smt2
149149
if: always() && steps.collect_smt2.outputs.has_files == 'true'
150-
uses: actions/upload-artifact@v4
150+
uses: actions/upload-artifact@v7
151151
with:
152152
name: fstar-generated-smt2-${{ github.run_id }}
153153
path: /tmp/gh-aw/agent/smt2-artifact

‎.github/workflows/memory-safety.yml‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -104,7 +104,7 @@ jobs:
104104
105105
- name: Upload ASan reports
106106
if: always()
107-
uses: actions/upload-artifact@v7.0.1
107+
uses: actions/upload-artifact@v7
108108
with:
109109
name: asan-reports
110110
path: /tmp/asan-reports/
@@ -194,7 +194,7 @@ jobs:
194194
195195
- name: Upload UBSan reports
196196
if: always()
197-
uses: actions/upload-artifact@v7.0.1
197+
uses: actions/upload-artifact@v7
198198
with:
199199
name: ubsan-reports
200200
path: /tmp/ubsan-reports/

‎.github/workflows/nightly.yml‎

Lines changed: 15 additions & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -59,7 +59,7 @@ jobs:
5959
echo "OK: macOS x64 artifacts are x86_64"
6060
6161
- name: Upload artifact
62-
uses: actions/upload-artifact@v7.0.1
62+
uses: actions/upload-artifact@v7
6363
with:
6464
name: macOsBuild
6565
path: dist/*.zip
@@ -95,7 +95,7 @@ jobs:
9595
echo "OK: macOS arm64 artifacts are arm64"
9696
9797
- name: Upload artifact
98-
uses: actions/upload-artifact@v7.0.1
98+
uses: actions/upload-artifact@v7
9999
with:
100100
name: MacArm64
101101
path: dist/*.zip
@@ -246,7 +246,7 @@ jobs:
246246
run: python z3test/scripts/test_benchmarks.py build-dist/z3 z3test/regressions/smt2
247247

248248
- name: Upload artifact
249-
uses: actions/upload-artifact@v7.0.1
249+
uses: actions/upload-artifact@v7
250250
with:
251251
name: UbuntuBuild
252252
path: dist/*.zip
@@ -281,7 +281,7 @@ jobs:
281281
python scripts/mk_unix_dist.py --nodotnet --arch=arm64
282282
283283
- name: Upload artifact
284-
uses: actions/upload-artifact@v7.0.1
284+
uses: actions/upload-artifact@v7
285285
with:
286286
name: UbuntuArm64
287287
path: dist/*.zip
@@ -336,7 +336,7 @@ jobs:
336336
run: zip -r z3doc.zip doc/api
337337

338338
- name: Upload artifact
339-
uses: actions/upload-artifact@v7.0.1
339+
uses: actions/upload-artifact@v7
340340
with:
341341
name: UbuntuDoc
342342
path: z3doc.zip
@@ -374,7 +374,7 @@ jobs:
374374
run: pip install ./src/api/python/wheelhouse/*.whl && python - <src/api/python/z3test.py z3 && python - <src/api/python/z3test.py z3num
375375

376376
- name: Upload artifact
377-
uses: actions/upload-artifact@v7.0.1
377+
uses: actions/upload-artifact@v7
378378
with:
379379
name: ManyLinuxPythonBuildAMD64
380380
path: src/api/python/wheelhouse/*.whl
@@ -422,7 +422,7 @@ jobs:
422422
run: cd src/api/python && CC=aarch64-none-linux-gnu-gcc CXX=aarch64-none-linux-gnu-g++ AR=aarch64-none-linux-gnu-ar LD=aarch64-none-linux-gnu-ld Z3_CROSS_COMPILING=aarch64 python -m build && AUDITWHEEL_PLAT= auditwheel repair --best-plat dist/*.whl && cd ../../..
423423

424424
- name: Upload artifact
425-
uses: actions/upload-artifact@v7.0.1
425+
uses: actions/upload-artifact@v7
426426
with:
427427
name: ManyLinuxPythonBuildArm64
428428
path: src/api/python/wheelhouse/*.whl
@@ -477,7 +477,7 @@ jobs:
477477
run: cd src/api/python && CC=riscv64-unknown-linux-gnu-gcc CXX=riscv64-unknown-linux-gnu-g++ AR=riscv64-unknown-linux-gnu-ar LD=riscv64-unknown-linux-gnu-ld Z3_CROSS_COMPILING=riscv64 python -m build && AUDITWHEEL_PLAT= auditwheel repair --best-plat dist/*.whl && cd ../../..
478478

479479
- name: Upload artifact
480-
uses: actions/upload-artifact@v7.0.1
480+
uses: actions/upload-artifact@v7
481481
with:
482482
name: ManyLinuxPythonBuildRiscv64
483483
path: src/api/python/wheelhouse/*.whl
@@ -530,7 +530,7 @@ jobs:
530530
~/env-pyodide/bin/python src/api/python/z3test.py z3
531531
532532
- name: Upload artifact
533-
uses: actions/upload-artifact@v7.0.1
533+
uses: actions/upload-artifact@v7
534534
with:
535535
name: PyodidePythonBuild
536536
path: src/api/python/dist/*.whl
@@ -556,7 +556,7 @@ jobs:
556556
python scripts\mk_win_dist.py --x64-only --dotnet-key=%GITHUB_WORKSPACE%\resources\z3.snk --zip
557557
558558
- name: Upload artifact
559-
uses: actions/upload-artifact@v7.0.1
559+
uses: actions/upload-artifact@v7
560560
with:
561561
name: WindowsBuild-x64
562562
path: dist/*.zip
@@ -582,7 +582,7 @@ jobs:
582582
python scripts\mk_win_dist.py --x86-only --dotnet-key=%GITHUB_WORKSPACE%\resources\z3.snk --zip
583583
584584
- name: Upload artifact
585-
uses: actions/upload-artifact@v7.0.1
585+
uses: actions/upload-artifact@v7
586586
with:
587587
name: WindowsBuild-x86
588588
path: dist/*.zip
@@ -608,7 +608,7 @@ jobs:
608608
python scripts\mk_win_dist_cmake.py --arm64-only --dotnet-key=%GITHUB_WORKSPACE%\resources\z3.snk --assembly-version=${{ env.MAJOR }}.${{ env.MINOR }}.${{ env.PATCH }} --zip
609609
610610
- name: Upload artifact
611-
uses: actions/upload-artifact@v7.0.1
611+
uses: actions/upload-artifact@v7
612612
with:
613613
name: WindowsBuild-arm64
614614
path: dist/arm64/*.zip
@@ -685,7 +685,7 @@ jobs:
685685
nuget pack out\Microsoft.Z3.sym.nuspec -Version ${{ env.MAJOR }}.${{ env.MINOR }}.${{ env.PATCH }}.${{ github.run_number }} -OutputDirectory . -Verbosity detailed -Symbols -SymbolPackageFormat snupkg -BasePath out
686686
687687
- name: Upload artifact
688-
uses: actions/upload-artifact@v7.0.1
688+
uses: actions/upload-artifact@v7
689689
with:
690690
name: NuGet
691691
path: |
@@ -730,7 +730,7 @@ jobs:
730730
nuget pack out\Microsoft.Z3.x86.sym.nuspec -Version ${{ env.MAJOR }}.${{ env.MINOR }}.${{ env.PATCH }}.${{ github.run_number }} -OutputDirectory . -Verbosity detailed -Symbols -SymbolPackageFormat snupkg -BasePath out
731731
732732
- name: Upload artifact
733-
uses: actions/upload-artifact@v7.0.1
733+
uses: actions/upload-artifact@v7
734734
with:
735735
name: NuGet32
736736
path: |
@@ -835,7 +835,7 @@ jobs:
835835
cp artifacts/*.whl src/api/python/dist/.
836836
837837
- name: Upload artifact
838-
uses: actions/upload-artifact@v7.0.1
838+
uses: actions/upload-artifact@v7
839839
with:
840840
name: PythonPackages
841841
path: src/api/python/dist/*

‎.github/workflows/nuget-build.yml‎

Lines changed: 8 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -34,7 +34,7 @@ jobs:
3434
python scripts\mk_win_dist.py --x64-only --dotnet-key=%GITHUB_WORKSPACE%\resources\z3.snk --assembly-version=${{ github.event.inputs.version || '4.17.0' }} --zip
3535
3636
- name: Upload Windows x64 artifact
37-
uses: actions/upload-artifact@v7.0.1
37+
uses: actions/upload-artifact@v7
3838
with:
3939
name: windows-x64
4040
path: dist/*.zip
@@ -58,7 +58,7 @@ jobs:
5858
python scripts\mk_win_dist.py --x86-only --dotnet-key=%GITHUB_WORKSPACE%\resources\z3.snk --assembly-version=${{ github.event.inputs.version || '4.17.0' }} --zip
5959
6060
- name: Upload Windows x86 artifact
61-
uses: actions/upload-artifact@v7.0.1
61+
uses: actions/upload-artifact@v7
6262
with:
6363
name: windows-x86
6464
path: dist/*.zip
@@ -82,7 +82,7 @@ jobs:
8282
python scripts\mk_win_dist_cmake.py --arm64-only --dotnet-key=%GITHUB_WORKSPACE%\resources\z3.snk --assembly-version=${{ github.event.inputs.version || '4.17.0' }} --zip
8383
8484
- name: Upload Windows ARM64 artifact
85-
uses: actions/upload-artifact@v7.0.1
85+
uses: actions/upload-artifact@v7
8686
with:
8787
name: windows-arm64
8888
path: build-dist\arm64\dist\*.zip
@@ -103,7 +103,7 @@ jobs:
103103
run: python scripts/mk_unix_dist.py --dotnet-key=$GITHUB_WORKSPACE/resources/z3.snk
104104

105105
- name: Upload Ubuntu artifact
106-
uses: actions/upload-artifact@v7.0.1
106+
uses: actions/upload-artifact@v7
107107
with:
108108
name: ubuntu
109109
path: dist/*.zip
@@ -124,7 +124,7 @@ jobs:
124124
run: python scripts/mk_unix_dist.py --dotnet-key=$GITHUB_WORKSPACE/resources/z3.snk
125125

126126
- name: Upload macOS x64 artifact
127-
uses: actions/upload-artifact@v7.0.1
127+
uses: actions/upload-artifact@v7
128128
with:
129129
name: macos-x64
130130
path: dist/*.zip
@@ -145,7 +145,7 @@ jobs:
145145
run: python scripts/mk_unix_dist.py --dotnet-key=$GITHUB_WORKSPACE/resources/z3.snk --arch=arm64
146146

147147
- name: Upload macOS ARM64 artifact
148-
uses: actions/upload-artifact@v7.0.1
148+
uses: actions/upload-artifact@v7
149149
with:
150150
name: macos-arm64
151151
path: dist/*.zip
@@ -198,7 +198,7 @@ jobs:
198198
nuget pack out\Microsoft.Z3.sym.nuspec -OutputDirectory . -Verbosity detailed -Symbols -SymbolPackageFormat snupkg -BasePath out
199199
200200
- name: Upload NuGet package
201-
uses: actions/upload-artifact@v7.0.1
201+
uses: actions/upload-artifact@v7
202202
with:
203203
name: nuget-x64
204204
path: |
@@ -247,7 +247,7 @@ jobs:
247247
nuget pack out\Microsoft.Z3.x86.sym.nuspec -OutputDirectory . -Verbosity detailed -Symbols -SymbolPackageFormat snupkg -BasePath out
248248
249249
- name: Upload NuGet package
250-
uses: actions/upload-artifact@v7.0.1
250+
uses: actions/upload-artifact@v7
251251
with:
252252
name: nuget-x86
253253
path: |

0 commit comments

Comments
 (0)