Fix CI (#110)

epfl-lara · Sep 6, 2024 · be4bf04 · be4bf04
1 parent 1fce69f
commit be4bf04
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 7 deletions.
diff --git a/.github/workflows/bolts-CI.yml b/.github/workflows/bolts-CI.yml
@@ -22,6 +22,7 @@ jobs:
       with:
         distribution: temurin
         java-version: 17
+        cache: sbt
     - name: Install stainless and solvers
       run: ./install_stainless_and_solvers.sh $GITHUB_WORKSPACE/.local/bin $GITHUB_WORKSPACE/.local
     - name: Add stainless to PATH
@@ -33,7 +34,7 @@ jobs:
     - name: Test solvers availability
       run: cvc5 --version && z3 --version && cvc4 --version
     - name: Bolts Tests
-      run: ./run_tests.sh
+      run: ./run-tests.sh
   fail_if_pull_request_is_draft:
     if: github.event.pull_request.draft == true
     runs-on: [self-hosted, linux]

diff --git a/install_stainless_and_solvers.sh b/install_stainless_and_solvers.sh
@@ -6,12 +6,6 @@ mkdir -p "$SOLVERS_DIR"
 mkdir -p "$TEMP_DIR"
 mkdir -p "$STAINLESS_DIR"
 
-# stainless
-cd "$STAINLESS_DIR"
-git clone --recurse-submodules https://github.com/epfl-lara/stainless
-cd stainless
-sbt universal:stage
-
 # cvc5
 wget https://github.com/cvc5/cvc5/releases/download/cvc5-1.1.2/cvc5-Linux-static.zip -O "$TEMP_DIR/downloaded.zip" -q
 unzip "$TEMP_DIR/downloaded.zip" -d "$TEMP_DIR" 
@@ -34,4 +28,12 @@ chmod +x "$SOLVERS_DIR/z3"
 rm -rf "$TEMP_DIR"
 
 echo "************** Solvers Installed **************"
+
+# stainless
+cd "$STAINLESS_DIR"
+git clone --recurse-submodules https://github.com/epfl-lara/stainless
+cd stainless
+sbt universal:stage
+
+echo "************** Stainless Installed **************"
 exit 0