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