From e3981e5213b797b3b55bd24518c4fe4f20710792 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Mon, 16 Feb 2026 17:45:25 +0000 Subject: [PATCH] Fix git sparse-checkout initialization in a3-python workflows Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> --- .github/workflows/a3-python-v2.lock.yml | 15 ++++++++------- .github/workflows/a3-python-v2.md | 3 ++- .github/workflows/a3-python.lock.yml | 15 ++++++++------- .github/workflows/a3-python.md | 3 ++- 4 files changed, 20 insertions(+), 16 deletions(-) diff --git a/.github/workflows/a3-python-v2.lock.yml b/.github/workflows/a3-python-v2.lock.yml index e629af54d..0606328d7 100644 --- a/.github/workflows/a3-python-v2.lock.yml +++ b/.github/workflows/a3-python-v2.lock.yml @@ -25,7 +25,7 @@ # # Source: z3prover/z3/a3/a3-python-v2.md@a91c5c58bd975f336bf5b744885ffd4b36b2d2ec # -# frontmatter-hash: 6a163b563f48c49e7175c12b912c964159de824a41be9e75f50e3afd4408b000 +# frontmatter-hash: 5c08cbd76fa7bc5348b225b554f64b9f461c79d3470ccc1af610550e9fd6bf84 name: "A3 Python Code Analysis" "on": @@ -50,7 +50,7 @@ jobs: comment_repo: "" steps: - name: Setup Scripts - uses: github/gh-aw/actions/setup@58d1d157fbac0f1204798500faefc4f7461ebe28 # v0.45.0 + uses: github/gh-aw/actions/setup@v0.45.0 with: destination: /opt/gh-aw/actions - name: Check workflow file timestamps @@ -92,7 +92,7 @@ jobs: secret_verification_result: ${{ steps.validate-secret.outputs.verification_result }} steps: - name: Setup Scripts - uses: github/gh-aw/actions/setup@58d1d157fbac0f1204798500faefc4f7461ebe28 # v0.45.0 + uses: github/gh-aw/actions/setup@v0.45.0 with: destination: /opt/gh-aw/actions - name: Checkout repository @@ -103,7 +103,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 @@ -799,7 +800,7 @@ jobs: total_count: ${{ steps.missing_tool.outputs.total_count }} steps: - name: Setup Scripts - uses: github/gh-aw/actions/setup@58d1d157fbac0f1204798500faefc4f7461ebe28 # v0.45.0 + uses: github/gh-aw/actions/setup@v0.45.0 with: destination: /opt/gh-aw/actions - name: Download agent output artifact @@ -900,7 +901,7 @@ jobs: success: ${{ steps.parse_results.outputs.success }} steps: - name: Setup Scripts - uses: github/gh-aw/actions/setup@58d1d157fbac0f1204798500faefc4f7461ebe28 # v0.45.0 + uses: github/gh-aw/actions/setup@v0.45.0 with: destination: /opt/gh-aw/actions - name: Download agent artifacts @@ -1013,7 +1014,7 @@ jobs: process_safe_outputs_temporary_id_map: ${{ steps.process_safe_outputs.outputs.temporary_id_map }} steps: - name: Setup Scripts - uses: github/gh-aw/actions/setup@58d1d157fbac0f1204798500faefc4f7461ebe28 # v0.45.0 + uses: github/gh-aw/actions/setup@v0.45.0 with: destination: /opt/gh-aw/actions - name: Download agent output artifact diff --git a/.github/workflows/a3-python-v2.md b/.github/workflows/a3-python-v2.md index 23f89a601..b15f729cd 100644 --- a/.github/workflows/a3-python-v2.md +++ b/.github/workflows/a3-python-v2.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 "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 45ed1a795..e52fc1e4b 100644 --- a/.github/workflows/a3-python.lock.yml +++ b/.github/workflows/a3-python.lock.yml @@ -23,7 +23,7 @@ # # Analyzes Python code using a3-python tool to identify bugs and issues # -# frontmatter-hash: 78c6f1b8d2b73100b4f2481152d146354737e02d4120064ea9e6bd1978c062c8 +# frontmatter-hash: f888b1dc3ab134d21d4f939aa04437af1351d089f930204b921154a18c887936 name: "A3 Python Code Analysis" "on": @@ -48,7 +48,7 @@ jobs: comment_repo: "" steps: - name: Setup Scripts - uses: github/gh-aw/actions/setup@58d1d157fbac0f1204798500faefc4f7461ebe28 # v0.45.0 + uses: github/gh-aw/actions/setup@v0.45.0 with: destination: /opt/gh-aw/actions - name: Check workflow file timestamps @@ -90,7 +90,7 @@ jobs: secret_verification_result: ${{ steps.validate-secret.outputs.verification_result }} steps: - name: Setup Scripts - uses: github/gh-aw/actions/setup@58d1d157fbac0f1204798500faefc4f7461ebe28 # v0.45.0 + uses: github/gh-aw/actions/setup@v0.45.0 with: destination: /opt/gh-aw/actions - name: Checkout repository @@ -101,7 +101,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 @@ -797,7 +798,7 @@ jobs: total_count: ${{ steps.missing_tool.outputs.total_count }} steps: - name: Setup Scripts - uses: github/gh-aw/actions/setup@58d1d157fbac0f1204798500faefc4f7461ebe28 # v0.45.0 + uses: github/gh-aw/actions/setup@v0.45.0 with: destination: /opt/gh-aw/actions - name: Download agent output artifact @@ -890,7 +891,7 @@ jobs: success: ${{ steps.parse_results.outputs.success }} steps: - name: Setup Scripts - uses: github/gh-aw/actions/setup@58d1d157fbac0f1204798500faefc4f7461ebe28 # v0.45.0 + uses: github/gh-aw/actions/setup@v0.45.0 with: destination: /opt/gh-aw/actions - name: Download agent artifacts @@ -1001,7 +1002,7 @@ jobs: process_safe_outputs_temporary_id_map: ${{ steps.process_safe_outputs.outputs.temporary_id_map }} steps: - name: Setup Scripts - uses: github/gh-aw/actions/setup@58d1d157fbac0f1204798500faefc4f7461ebe28 # v0.45.0 + uses: github/gh-aw/actions/setup@v0.45.0 with: destination: /opt/gh-aw/actions - name: Download agent output artifact diff --git a/.github/workflows/a3-python.md b/.github/workflows/a3-python.md index 896757abf..6c492dabc 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" ---