mirror of
https://github.com/Z3Prover/z3
synced 2026-06-10 10:57:15 +00:00
Bump github/gh-aw from 0.57.2 to 0.62.5 (#9110)
Bumps [github/gh-aw](https://github.com/github/gh-aw) from 0.57.2 to 0.62.5. - [Release notes](https://github.com/github/gh-aw/releases) - [Commits](https://github.com/github/gh-aw/compare/v0.57.2...v0.62.5) --- updated-dependencies: - dependency-name: github/gh-aw dependency-version: 0.62.5 dependency-type: direct:production update-type: version-update:semver-minor ... 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
c6dbe003ad
commit
01e0cf8e2c
16 changed files with 74 additions and 74 deletions
6
.github/workflows/agentics-maintenance.yml
vendored
6
.github/workflows/agentics-maintenance.yml
vendored
|
|
@ -62,7 +62,7 @@ jobs:
|
|||
pull-requests: write
|
||||
steps:
|
||||
- name: Setup Scripts
|
||||
uses: github/gh-aw/actions/setup@32b3a711a9ee97d38e3989c90af0385aff0066a7 # v0.57.2
|
||||
uses: github/gh-aw/actions/setup@48d8fdfddc8cad854ac0c70ceb573f09fb8f9c9b # v0.62.5
|
||||
with:
|
||||
destination: /opt/gh-aw/actions
|
||||
|
||||
|
|
@ -107,7 +107,7 @@ jobs:
|
|||
persist-credentials: false
|
||||
|
||||
- name: Setup Scripts
|
||||
uses: github/gh-aw/actions/setup@32b3a711a9ee97d38e3989c90af0385aff0066a7 # v0.57.2
|
||||
uses: github/gh-aw/actions/setup@48d8fdfddc8cad854ac0c70ceb573f09fb8f9c9b # v0.62.5
|
||||
with:
|
||||
destination: /opt/gh-aw/actions
|
||||
|
||||
|
|
@ -122,7 +122,7 @@ jobs:
|
|||
await main();
|
||||
|
||||
- name: Install gh-aw
|
||||
uses: github/gh-aw/actions/setup-cli@v0.57.2
|
||||
uses: github/gh-aw/actions/setup-cli@v0.62.5
|
||||
with:
|
||||
version: v0.57.2
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue