mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-02-19 23:14:40 +00:00
Code Activity
20485 commits 50 branches 58 tags 179 MiB
Commit graph

3 commits

Author SHA1 Message Date
dependabot[bot]
e60eaf92ff Bump githubnext/gh-aw from 0.36.0 to 0.37.0 (#8255) 
Bumps [githubnext/gh-aw](https://github.com/githubnext/gh-aw) from 0.36.0 to 0.37.0.
- [Release notes](https://github.com/githubnext/gh-aw/releases)
- [Changelog](https://github.com/githubnext/gh-aw/blob/main/CHANGELOG.md)
- [Commits](https://github.com/githubnext/gh-aw/compare/v0.36.0...v0.37.0)

---
updated-dependencies:
- dependency-name: githubnext/gh-aw
  dependency-version: 0.37.0
  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>
 2026-02-18 20:57:49 -08:00
Copilot
cbbbcabc1c [WIP] Change pull request instructions to discussion (#8253) 
* Initial plan

* Update Release Notes Updater workflow to create discussions instead of PRs

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>

---------

Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-18 20:57:49 -08:00
Copilot
b090dc1cb2 Add weekly agentic workflow to auto-update RELEASE_NOTES.md (#8249) 
* Initial plan

* Add weekly release notes updater workflow

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>

---------

Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-18 20:57:49 -08:00