mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-01-22 01:54:44 +00:00
Code Activity
20391 commits 40 branches 53 tags 160 MiB
Commit graph

2 commits

Author SHA1 Message Date
Copilot
f8ba759523
[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-01-19 14:22:22 -08:00
Copilot
f2ddfc2fdf
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-01-19 13:47:42 -08:00