From 6d8cc12a0fb9d1ab986efe1593b12f9038d25fb5 Mon Sep 17 00:00:00 2001 From: Hideaki Kawai Date: Wed, 23 Oct 2024 16:49:39 +0900 Subject: [PATCH] wip --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 52968e2..0ca46a8 100644 --- 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: