mirror of
https://github.com/Z3Prover/z3
synced 2025-11-04 13:29:11 +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:
parent
0ebc1070da
commit
df8bca4db6
4 changed files with 4 additions and 4 deletions
2
.github/workflows/daily-backlog-burner.lock.yml
generated
vendored
2
.github/workflows/daily-backlog-burner.lock.yml
generated
vendored
|
|
@ -2946,7 +2946,7 @@ jobs:
|
||||||
steps:
|
steps:
|
||||||
- name: Download patch artifact
|
- name: Download patch artifact
|
||||||
continue-on-error: true
|
continue-on-error: true
|
||||||
uses: actions/download-artifact@v5
|
uses: actions/download-artifact@v6
|
||||||
with:
|
with:
|
||||||
name: aw.patch
|
name: aw.patch
|
||||||
path: /tmp/
|
path: /tmp/
|
||||||
|
|
|
||||||
2
.github/workflows/daily-perf-improver.lock.yml
generated
vendored
2
.github/workflows/daily-perf-improver.lock.yml
generated
vendored
|
|
@ -3021,7 +3021,7 @@ jobs:
|
||||||
steps:
|
steps:
|
||||||
- name: Download patch artifact
|
- name: Download patch artifact
|
||||||
continue-on-error: true
|
continue-on-error: true
|
||||||
uses: actions/download-artifact@v5
|
uses: actions/download-artifact@v6
|
||||||
with:
|
with:
|
||||||
name: aw.patch
|
name: aw.patch
|
||||||
path: /tmp/
|
path: /tmp/
|
||||||
|
|
|
||||||
2
.github/workflows/daily-test-improver.lock.yml
generated
vendored
2
.github/workflows/daily-test-improver.lock.yml
generated
vendored
|
|
@ -2996,7 +2996,7 @@ jobs:
|
||||||
steps:
|
steps:
|
||||||
- name: Download patch artifact
|
- name: Download patch artifact
|
||||||
continue-on-error: true
|
continue-on-error: true
|
||||||
uses: actions/download-artifact@v5
|
uses: actions/download-artifact@v6
|
||||||
with:
|
with:
|
||||||
name: aw.patch
|
name: aw.patch
|
||||||
path: /tmp/
|
path: /tmp/
|
||||||
|
|
|
||||||
2
.github/workflows/pr-fix.lock.yml
generated
vendored
2
.github/workflows/pr-fix.lock.yml
generated
vendored
|
|
@ -3371,7 +3371,7 @@ jobs:
|
||||||
steps:
|
steps:
|
||||||
- name: Download patch artifact
|
- name: Download patch artifact
|
||||||
continue-on-error: true
|
continue-on-error: true
|
||||||
uses: actions/download-artifact@v5
|
uses: actions/download-artifact@v6
|
||||||
with:
|
with:
|
||||||
name: aw.patch
|
name: aw.patch
|
||||||
path: /tmp/
|
path: /tmp/
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue