wip

kayhide · Oct 23, 2024 · 6d8cc12 · 6d8cc12
1 parent 4caba71
commit 6d8cc12
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -36,7 +36,7 @@ jobs:
         uses: tree-sitter/setup-action/cli@v1
       - name: Set up examples
         run: |-
-          git clone https://github.com/idris-lang/Idris2#v0.7.0 examples/ --single-branch --depth=1 --filter=blob:none
+          git clone https://github.com/idris-lang/Idris2 examples/ --branch=v0.7.0 --depth=1 --filter=blob:none
       - name: Run tests
         uses: tree-sitter/parser-test-action@v2
         with: