Retry tlapm install on failure (#89)

* Added retries for tlapm install * Switch to using rm instead of find Signed-off-by: Andrew Helwer <[email protected]>
tlaplus · Aug 24, 2023 · e159c25 · e159c25
1 parent 71ea3da
commit e159c25
Showing 1 changed file with 9 additions and 1 deletion.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -109,7 +109,15 @@ jobs:
           TLAPM_BIN="tlaps-1.5.0-$TLAPM_BIN_TYPE-inst.bin"
           wget -nv https://github.com/tlaplus/tlapm/releases/download/$TLAPS_VERSION/$TLAPM_BIN
           chmod +x $TLAPM_BIN
-          ./$TLAPM_BIN -d deps/tlapm-install
+          # Workaround for https://github.com/tlaplus/tlapm/issues/88
+          for ((attempt = 1; attempt <= 5; attempt++)); do
+            rm -rf deps/tlapm-install
+            ./$TLAPM_BIN -d deps/tlapm-install
+            if [ $? -eq 0 ]; then
+              exit 0
+            fi
+          done
+          exit 1
       - name: Check manifest.json format
         run: |
           python $SCRIPT_DIR/check_manifest_schema.py \