mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-05-05 09:55:15 +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:01 -08:00 • committed by GitHub
parent f561b5a68d
commit ad5e805ec9
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 0 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

6
.github/workflows/a3-python.md vendored
View file

@ -21,12 +21,6 @@ name: A3 Python Code Analysis
strict: true strict: true
timeout-minutes: 45 timeout-minutes: 45
tracker-id: a3-python-analysis tracker-id: a3-python-analysis
steps:
- name: Checkout Python source files
run: |
git sparse-checkout init --cone
git sparse-checkout set src
echo "Python source files checked out from src directory"
--- ---
# A3 Python Code Analysis Agent # A3 Python Code Analysis Agent