From 84009c02127485f5936a8cf5b1dfc4818f93052f Mon Sep 17 00:00:00 2001
From: yuetloo <contact@yuetloo.com>
Date: Wed, 20 Sep 2023 16:59:19 -0400
Subject: [PATCH] fix syntax error

---
 .github/scripts/download-zkeys-micro.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/scripts/download-zkeys-micro.sh b/.github/scripts/download-zkeys-micro.sh
index 150e420de..b56f44e14 100755
--- 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