mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-04-15 08:44:10 +00:00
Code Activity

Fix agentic workflow compilation errors: remove glob/view tools, resolve merge conflict, fix serena tool and missing imports

Browse source 
Agent-Logs-Url: https://github.com/Z3Prover/z3/sessions/88b80d94-e7d6-4e8f-a106-baa2e7e212d6

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
This commit is contained in:
copilot-swe-agent[bot] 2026-04-11 17:16:24 +00:00 • committed by GitHub
parent b34b7434e4
commit b9e6a60898
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
23 changed files with 3728 additions and 3645 deletions
Download patch file Download diff file Expand all files Collapse all files

2
.github/workflows/code-conventions-analyzer.md vendored
View file

@ -8,8 +8,6 @@ tools:
cache-memory: true
github:
toolsets: [default]
view: {}
glob: {}
edit: {}
bash:
- "clang-format --version"