chore: clone examples with depth=1 to speed up test

tree-sitter · Feb 21, 2024 · cfbcb3f · cfbcb3f
1 parent 20ec1b3
commit cfbcb3f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/script/parse-examples b/script/parse-examples
@@ -12,14 +12,14 @@ function clone_repo {
 	path=examples/$name
 	if [ ! -d "$path" ]; then
 		echo "Cloning $owner/$name"
-		git clone "https://github.com/$owner/$name" "$path"
+		git clone --depth 1 "https://github.com/$owner/$name" "$path"
 	fi
 
 	pushd "$path" >/dev/null
 	actual_sha=$(git rev-parse HEAD)
 	if [ "$actual_sha" != "$sha" ]; then
 		echo "Updating $owner/$name to $sha"
-		git fetch
+		git fetch --depth 1 origin "$sha"
 		git reset --hard "$sha"
 	fi
 	popd >/dev/null