From b6c1bf67efcb5357034abc6efe2eddb193e80de2 Mon Sep 17 00:00:00 2001 From: Andrew Helwer Date: Sun, 3 Sep 2023 23:14:46 -0400 Subject: [PATCH] Configure TLAPM install to proceed if exiting with nonzero error code (#90) Github actions appears to run `set -e` by default, so the tlapm install failure will abort the script and ignore the retry logic around it. We counteract this by running `set +e` right before the tlapm install retry loop. Signed-off-by: Andrew Helwer <2n8rn1w1f@mozmail.com> --- .github/workflows/CI.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index 7d0e0b22..34d1ad5a 100644 --- a/.github/workflows/CI.yml +++ b/.github/workflows/CI.yml @@ -110,6 +110,7 @@ jobs: wget -nv https://github.com/tlaplus/tlapm/releases/download/$TLAPS_VERSION/$TLAPM_BIN chmod +x $TLAPM_BIN # Workaround for https://github.com/tlaplus/tlapm/issues/88 + set +e for ((attempt = 1; attempt <= 5; attempt++)); do rm -rf deps/tlapm-install ./$TLAPM_BIN -d deps/tlapm-install