3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-01-04 10:08:46 +00:00

Bump actions/download-artifact from 6 to 7 (#8082)

Bumps [actions/download-artifact](https://github.com/actions/download-artifact) from 6 to 7.
- [Release notes](https://github.com/actions/download-artifact/releases)
- [Commits](https://github.com/actions/download-artifact/compare/v6...v7)

---
updated-dependencies:
- dependency-name: actions/download-artifact
  dependency-version: '7'
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
This commit is contained in:
dependabot[bot] 2025-12-16 02:06:22 +00:00 committed by GitHub
parent 17f231c287
commit dd15a279fd
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
5 changed files with 6 additions and 6 deletions

View file

@ -2946,7 +2946,7 @@ jobs:
steps:
- name: Download patch artifact
continue-on-error: true
uses: actions/download-artifact@v6
uses: actions/download-artifact@v7
with:
name: aw.patch
path: /tmp/

View file

@ -3021,7 +3021,7 @@ jobs:
steps:
- name: Download patch artifact
continue-on-error: true
uses: actions/download-artifact@v6
uses: actions/download-artifact@v7
with:
name: aw.patch
path: /tmp/

View file

@ -2996,7 +2996,7 @@ jobs:
steps:
- name: Download patch artifact
continue-on-error: true
uses: actions/download-artifact@v6
uses: actions/download-artifact@v7
with:
name: aw.patch
path: /tmp/

View file

@ -165,7 +165,7 @@ jobs:
python-version: '3.x'
- name: Download all artifacts
uses: actions/download-artifact@v6
uses: actions/download-artifact@v7
with:
path: packages
@ -220,7 +220,7 @@ jobs:
python-version: '3.x'
- name: Download x86 artifact
uses: actions/download-artifact@v6
uses: actions/download-artifact@v7
with:
name: windows-x86
path: packages

2
.github/workflows/pr-fix.lock.yml generated vendored
View file

@ -3371,7 +3371,7 @@ jobs:
steps:
- name: Download patch artifact
continue-on-error: true
uses: actions/download-artifact@v6
uses: actions/download-artifact@v7
with:
name: aw.patch
path: /tmp/