fix syntax error

clrfund · Sep 20, 2023 · 84009c0 · 84009c0
1 parent 4556401
commit 84009c0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/scripts/download-zkeys-micro.sh b/.github/scripts/download-zkeys-micro.sh
@@ -15,7 +15,7 @@ do
   curl $url -o $p
   extension="${filename##*.}"
   if [ "$extension" == "gz" ]
-  do
+  then
     tar -xvf $p
   fi
 done