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" ---