diff --git a/.github/workflows/a3-python-v2.md b/.github/workflows/a3-python-v2.md index acc58e6f0..4183f6ebd 100644 --- a/.github/workflows/a3-python-v2.md +++ b/.github/workflows/a3-python-v2.md @@ -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