mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-02-22 16:27: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:01 -08:00
parent 04b2fb3aaa
commit 7562de2f7a
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
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 "Python source files checked out from src directory"
---
# A3 Python Code Analysis Agent