From 34038e2b6db43b84c081caf7c37caf85436f4af4 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Fri, 13 Feb 2026 03:51:36 +0000
Subject: [PATCH 1/2] Initial plan


From 8a49ca490f4fc59c8041302dff83b011fb9c9738 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Fri, 13 Feb 2026 03:54:06 +0000
Subject: [PATCH 2/2] Fix git sparse-checkout error in a3-python workflows

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 .github/workflows/a3-python-v2.lock.yml | 3 ++-
 .github/workflows/a3-python-v2.md       | 3 ++-
 .github/workflows/a3-python.lock.yml    | 3 ++-
 .github/workflows/a3-python.md          | 3 ++-
 4 files changed, 8 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/a3-python-v2.lock.yml b/.github/workflows/a3-python-v2.lock.yml
index 5635627a5..17ba6991b 100644
--- a/.github/workflows/a3-python-v2.lock.yml
+++ b/.github/workflows/a3-python-v2.lock.yml
@@ -100,7 +100,8 @@ jobs:
         run: bash /opt/gh-aw/actions/create_gh_aw_tmp_dir.sh
       - name: Checkout Python source files
         run: |-
-          git sparse-checkout add src
+          git sparse-checkout init --cone
+          git sparse-checkout set src
           echo "Source files checked out for Python analysis"
 
       - name: Configure Git credentials
diff --git a/.github/workflows/a3-python-v2.md b/.github/workflows/a3-python-v2.md
index 794b57ce5..dcd2db093 100644
--- a/.github/workflows/a3-python-v2.md
+++ b/.github/workflows/a3-python-v2.md
@@ -26,7 +26,8 @@ tracker-id: a3-python-analysis
 steps:
   - name: Checkout Python source files
     run: |
-      git sparse-checkout add src
+      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
 ---
diff --git a/.github/workflows/a3-python.lock.yml b/.github/workflows/a3-python.lock.yml
index 55254a422..be623d3cd 100644
--- a/.github/workflows/a3-python.lock.yml
+++ b/.github/workflows/a3-python.lock.yml
@@ -102,7 +102,8 @@ jobs:
         run: bash /opt/gh-aw/actions/create_gh_aw_tmp_dir.sh
       - name: Checkout Python source files
         run: |-
-          git sparse-checkout add src
+          git sparse-checkout init --cone
+          git sparse-checkout set src
           echo "Python source files checked out from src directory"
 
       - name: Configure Git credentials
diff --git a/.github/workflows/a3-python.md b/.github/workflows/a3-python.md
index e5edb2599..e5db2e44d 100644
--- a/.github/workflows/a3-python.md
+++ b/.github/workflows/a3-python.md
@@ -24,7 +24,8 @@ tracker-id: a3-python-analysis
 steps:
   - name: Checkout Python source files
     run: |
-      git sparse-checkout add src
+      git sparse-checkout init --cone
+      git sparse-checkout set src
       echo "Python source files checked out from src directory"
 ---