mirror of
https://github.com/Z3Prover/z3
synced 2025-12-11 06:13:23 +00:00
Bump actions/checkout from 5 to 6 (#8043)
Bumps [actions/checkout](https://github.com/actions/checkout) from 5 to 6. - [Release notes](https://github.com/actions/checkout/releases) - [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md) - [Commits](https://github.com/actions/checkout/compare/v5...v6) --- updated-dependencies: - dependency-name: actions/checkout 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
97f7e6fac4
commit
0018f5aafa
21 changed files with 32 additions and 32 deletions
4
.github/workflows/daily-perf-improver.lock.yml
generated
vendored
4
.github/workflows/daily-perf-improver.lock.yml
generated
vendored
|
|
@ -25,7 +25,7 @@ jobs:
|
|||
output: ${{ steps.collect_output.outputs.output }}
|
||||
steps:
|
||||
- name: Checkout repository
|
||||
uses: actions/checkout@v5
|
||||
uses: actions/checkout@v6
|
||||
- id: check_build_steps_file
|
||||
name: Check if action.yml exists
|
||||
run: |
|
||||
|
|
@ -3026,7 +3026,7 @@ jobs:
|
|||
name: aw.patch
|
||||
path: /tmp/
|
||||
- name: Checkout repository
|
||||
uses: actions/checkout@v5
|
||||
uses: actions/checkout@v6
|
||||
with:
|
||||
fetch-depth: 0
|
||||
- name: Configure Git credentials
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue