mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-04-26 05:43:33 +00:00
Code Activity
20494 commits 73 branches 58 tags 227 MiB
Commit graph

2 commits

Author SHA1 Message Date
Copilot
05de58c483 Upgrade agentic workflows to gh-aw v0.37.0 (#8261) 
* Initial plan

* Upgrade workflows to gh-aw v0.37.0 (latest)

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:50 -08:00
Nikolaj Bjorner
ba3f4ef1e8 update aw to current version 2026-02-18 20:57:05 -08:00