mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-02-17 22:24:20 +00:00
Code Activity

Fix a3-python-v2 workflow compilation error

Browse source 
- Remove invalid source reference to non-existent commit
- Fix network domains: 'default' → 'defaults'
- Remove serena tools configuration
- Recompile workflow with gh-aw v0.45.0

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
This commit is contained in:
copilot-swe-agent[bot] 2026-02-16 01:33:43 +00:00
parent 573e53adfa
commit d6300b995c
2 changed files with 56 additions and 77 deletions
Download patch file Download diff file Expand all files Collapse all files

5
.github/workflows/a3-python-v2.md vendored
View file

@ -8,9 +8,7 @@ permissions:
issues: read
pull-requests: read
network:
allowed: [default, python]
tools:
serena: ["python"]
allowed: [defaults, python]
safe-outputs:
create-issue:
labels:
@ -29,7 +27,6 @@ steps:
git sparse-checkout init --cone
git sparse-checkout set src
echo "Source files checked out for Python analysis"
source: z3prover/z3/a3/a3-python-v2.md@a91c5c58bd975f336bf5b744885ffd4b36b2d2ec
---
# A3 Python Code Analysis Agent