3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-10-03 22:43:56 +00:00
z3/.github
dependabot[bot] 7d6ff3fae4
Bump anthropics/claude-code-base-action from 0.0.56 to 0.0.63 (#7881)
Bumps [anthropics/claude-code-base-action](https://github.com/anthropics/claude-code-base-action) from 0.0.56 to 0.0.63.
- [Release notes](https://github.com/anthropics/claude-code-base-action/releases)
- [Commits](https://github.com/anthropics/claude-code-base-action/compare/v0.0.56...v0.0.63)

---
updated-dependencies:
- dependency-name: anthropics/claude-code-base-action
  dependency-version: 0.0.63
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2025-09-15 16:40:18 -07:00
..
actions Daily Perf Improver: Add build steps configuration 2025-09-15 14:05:21 +00:00
prompts gitignore 2025-03-12 17:18:37 -07:00
workflows Bump anthropics/claude-code-base-action from 0.0.56 to 0.0.63 (#7881) 2025-09-15 16:40:18 -07:00
copilot-instructions.md Add .github/copilot-instructions.md with comprehensive Z3 development guide (#7766) 2025-08-12 15:18:52 -07:00
dependabot.yml chore: Included githubactions in the dependabot config (#6064) 2022-06-01 20:02:30 -07:00