infra: speedup clone

checkstyle · Jun 15, 2024 · 872737b · 872737b
1 parent 5040134
commit 872737b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/setup.sh b/setup.sh
@@ -5,7 +5,7 @@ mkdir -p .ci-temp
 
 # Clone the Checkstyle repository if it hasn't been cloned already
 if [ ! -d ".ci-temp/checkstyle" ]; then
-  git clone https://github.com/checkstyle/checkstyle.git .ci-temp/checkstyle
+  git clone --depth 1 --branch master https://github.com/checkstyle/checkstyle.git .ci-temp/checkstyle
 else
   echo "Checkstyle repository already cloned."
 fi