Merge pull request #4228 from FStarLang/gebner_nightly_ci_fix

Use our Z3 install script in nightly CI.

Author: gebner

.github/workflows/nightly-ci.yml

@@ -30,14 +30,12 @@ jobs:
         with:
           name: fstar.tar.gz
 
-      # Install Z3. Note: the packages built by build-packages.yml
-      # don't include Z3.
-      - uses: cda-tum/setup-z3@main
-        with:
-          version: 4.13.3
-
       - run: tar xzf fstar.tar.gz
 
+      - name: Install Z3
+        # Note: the packages built by build-packages.yml don't include Z3.
+        run: curl -fsSL https://raw.githubusercontent.com/FStarLang/FStar/refs/heads/master/.scripts/get_fstar_z3.sh | sudo bash -s -- /usr/local/bin
+
       - name: Smoke test
         run: |
           ./fstar/bin/fstar.exe fstar/lib/fstar/ulib/Prims.fst -f
@@ -57,16 +55,15 @@ jobs:
           - ubuntu-latest
     runs-on: ${{ matrix.os }}
     steps:
-      - uses: cda-tum/setup-z3@main
-        with:
-          version: 4.13.3
-
       - name: Get fstar package
         uses: actions/download-artifact@v8
         with:
           name: ${{ matrix.pak }}
       - run: tar xzf ${{ matrix.pak }}
 
+      - name: Install Z3
+        run: sudo ./fstar/get_fstar_z3.sh /usr/local/bin
+
       - name: Set-up OCaml
         uses: ocaml/setup-ocaml@v3
         with: