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

Remove checkout steps from A3 Python workflow

Browse source 
Removed steps for checking out Python source files.
This commit is contained in:
Nikolaj Bjorner 2026-02-17 15:39:23 -08:00 • committed by GitHub
parent ad5e805ec9
commit 6ef869bf8b
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 0 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -21,13 +21,6 @@ name: A3 Python Code Analysis
strict: true
timeout-minutes: 45
tracker-id: a3-python-analysis
steps:
- name: Checkout Python source files
run: |
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