3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-10-28 10:19:23 +00:00
Commit graph

19 commits

Author SHA1 Message Date
Don Syme
5d91294e90 update workflows 2025-09-19 03:31:56 +01:00
Don Syme
7cb491dd6a update compiled workflows 2025-09-17 23:49:55 +01:00
Don Syme
d989bcaebe update compiled workflows 2025-09-17 23:47:16 +01:00
Don Syme
f300dfc425 recompile improvers 2025-09-17 16:41:49 +01:00
Don Syme
2d0b9e6972 recompile improvers 2025-09-17 15:50:33 +01:00
Don Syme
aabdb407d1 latest improvers 2025-09-17 13:49:00 +01:00
Don Syme
2364ea42ba update improvers 2025-09-17 13:19:24 +01:00
Don Syme
7268136bb6 update workflows 2025-09-17 11:33:24 +01:00
Don Syme
db8206d265 improve improvers 2025-09-17 11:03:23 +01:00
Don Syme
5b70f75d89 allow burner to create PRs 2025-09-17 02:41:38 +01:00
Don Syme
647c8cc6c1 add roles 2025-09-17 00:04:24 +01:00
Don Syme
75a6e7a379 update improvers 2025-09-16 23:27:26 +01:00
Don Syme
40a60f10ce update token 2025-09-16 16:25:14 +01:00
Don Syme
1aeef3bf81 update agentics 2025-09-16 13:10:58 +01:00
dependabot[bot]
96996bf9ec
Bump actions/github-script from 7 to 8 (#7882)
Bumps [actions/github-script](https://github.com/actions/github-script) from 7 to 8.
- [Release notes](https://github.com/actions/github-script/releases)
- [Commits](https://github.com/actions/github-script/compare/v7...v8)

---
updated-dependencies:
- dependency-name: actions/github-script
  dependency-version: '8'
  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>
2025-09-15 16:40:27 -07:00
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
dependabot[bot]
c4675cb463
Bump actions/checkout from 3 to 5 (#7880)
Bumps [actions/checkout](https://github.com/actions/checkout) from 3 to 5.
- [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/v3...v5)

---
updated-dependencies:
- dependency-name: actions/checkout
  dependency-version: '5'
  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>
2025-09-15 16:40:07 -07:00
Don Syme
25a79d73b1 update workflows and use token for safe outputs 2025-09-15 15:00:15 +01:00
Don Syme
095e0f5db8 Add workflow: githubnext/agentics/daily-perf-improver 2025-09-12 23:47:24 +01:00