Add retry loop for TLAPM build in CI (#179)

Signed-off-by: Andrew Helwer <2n8rn1w1f@mozmail.com>
tlaplus · Nov 27, 2024 · cdf5c58 · cdf5c58
1 parent a7a3a0a
commit cdf5c58
Showing 1 changed file with 11 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -51,8 +51,17 @@ jobs:
               run: |
                 eval $(opam env)
                 make opam-deps
-                make
-                make release
+                # Workaround for https://github.com/tlaplus/tlapm/issues/88
+                set +e
+                for ((attempt = 1; attempt <= 5; attempt++)); do
+                  rm -rf _build
+                  make
+                  if [ $? -eq 0 ]; then
+                    make release
+                    exit $?
+                  fi
+                done
+                exit 1
             - name: Run tests
               run: |
                 eval $(opam env)