From 7562de2f7a438248a57402084c276e3ec1187dd2 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 17 Feb 2026 15:39:01 -0800
Subject: [PATCH] Remove checkout steps from A3 Python workflow

Removed steps for checking out Python source files.
---
 .github/workflows/a3-python.md | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/.github/workflows/a3-python.md b/.github/workflows/a3-python.md
index 846022bb1..9deb35adc 100644
--- a/.github/workflows/a3-python.md
+++ b/.github/workflows/a3-python.md
@@ -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