Fix apalache install url

Signed-off-by: Andrew Helwer <[email protected]>

Author: ahelwer

.github/scripts/linux-setup.sh

@@ -41,7 +41,7 @@ main() {
   mkdir -p "$DEPS_DIR/tools"
   wget -nv http://nightly.tlapl.us/dist/tla2tools.jar -P "$DEPS_DIR/tools"
   # Get Apalache
-  wget -nv https://github.com/informalsystems/apalache/releases/download/v0.44.10/apalache.tgz -O /tmp/apalache.tgz
+  wget -nv https://github.com/informalsystems/apalache/releases/latest/download/apalache.tgz -O /tmp/apalache.tgz
   tar -xzf /tmp/apalache.tgz --directory "$DEPS_DIR"
   # Get TLA⁺ community modules
   mkdir -p "$DEPS_DIR/community"

.github/scripts/windows-setup.sh

@@ -38,7 +38,7 @@ main() {
   mkdir -p "$DEPS_DIR/tools"
   curl http://nightly.tlapl.us/dist/tla2tools.jar --output "$DEPS_DIR/tools/tla2tools.jar"
   # Get Apalache
-  curl https://github.com/informalsystems/apalache/releases/download/v0.44.10/apalache.zip --output apalache.zip
+  curl https://github.com/informalsystems/apalache/releases/latest/download/apalache.zip --output apalache.zip
   7z x apalache.zip
   mv apalache "$DEPS_DIR/"
   rm apalache.zip