3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-10-31 19:52:29 +00:00

Bump actions/download-artifact from 5 to 6 (#7999)

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

---
updated-dependencies:
- dependency-name: actions/download-artifact
  dependency-version: '6'
  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-10-28 15:47:15 -07:00 committed by Nikolaj Bjorner
parent a692994434
commit 543ee38682
4 changed files with 4 additions and 4 deletions

View file

@ -2946,7 +2946,7 @@ jobs:
steps:
- name: Download patch artifact
continue-on-error: true
uses: actions/download-artifact@v5
uses: actions/download-artifact@v6
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@v5
uses: actions/download-artifact@v6
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@v5
uses: actions/download-artifact@v6
with:
name: aw.patch
path: /tmp/

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@v5
uses: actions/download-artifact@v6
with:
name: aw.patch
path: /tmp/