3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-02-22 08:17:37 +00:00
z3/.github/workflows
dependabot[bot] 9e96ecbf4d Bump githubnext/gh-aw from 0.42.17 to 0.45.1
Bumps [githubnext/gh-aw](https://github.com/githubnext/gh-aw) from 0.42.17 to 0.45.1.
- [Release notes](https://github.com/githubnext/gh-aw/releases)
- [Changelog](https://github.com/github/gh-aw/blob/main/CHANGELOG.md)
- [Commits](https://github.com/githubnext/gh-aw/compare/v0.42.17...v0.45.1)

---
updated-dependencies:
- dependency-name: githubnext/gh-aw
  dependency-version: 0.45.1
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
2026-02-18 21:02:28 -08:00
..
shared
a3-python-v2.lock.yml Bump actions/download-artifact from 6.0.0 to 7.0.0 2026-02-18 21:02:28 -08:00
a3-python-v2.md
a3-python.lock.yml Bump actions/download-artifact from 6.0.0 to 7.0.0 2026-02-18 21:02:28 -08:00
a3-python.md
agentics-maintenance.yml Bump githubnext/gh-aw from 0.42.17 to 0.45.1 2026-02-18 21:02:28 -08:00
android-build.yml
api-coherence-checker.lock.yml Bump actions/download-artifact from 6.0.0 to 7.0.0 2026-02-18 21:02:28 -08:00
api-coherence-checker.md
build-warning-fixer.lock.yml Bump actions/download-artifact from 6.0.0 to 7.0.0 2026-02-18 21:02:28 -08:00
build-warning-fixer.md
build-z3-cache.yml
ci.yml
code-conventions-analyzer.lock.yml Bump actions/download-artifact from 6.0.0 to 7.0.0 2026-02-18 21:02:28 -08:00
code-conventions-analyzer.md
code-simplifier.lock.yml Bump actions/download-artifact from 6.0.0 to 7.0.0 2026-02-18 21:02:28 -08:00
code-simplifier.md
copilot-setup-steps.yml
coverage.yml
cross-build.yml
deeptest.lock.yml Bump actions/download-artifact from 6.0.0 to 7.0.0 2026-02-18 21:02:28 -08:00
deeptest.md
docs.yml
msvc-static-build-clang-cl.yml
msvc-static-build.yml
nightly-validation.yml Bump actions/checkout from 5.0.1 to 6.0.2 2026-02-18 21:02:28 -08:00
nightly.yml
nuget-build.yml
ocaml.yaml
pyodide.yml
release-notes-updater.lock.yml Bump actions/download-artifact from 6.0.0 to 7.0.0 2026-02-18 21:02:28 -08:00
release-notes-updater.md
release.yml
soundness-bug-detector.lock.yml Bump actions/download-artifact from 6.0.0 to 7.0.0 2026-02-18 21:02:28 -08:00
soundness-bug-detector.md
specbot.lock.yml Bump actions/download-artifact from 6.0.0 to 7.0.0 2026-02-18 21:02:28 -08:00
specbot.md
wasm-release.yml
wasm.yml
Windows.yml
wip.yml
workflow-suggestion-agent.lock.yml Bump actions/download-artifact from 6.0.0 to 7.0.0 2026-02-18 21:02:28 -08:00
workflow-suggestion-agent.md