diff --git a/.github/workflows/bolts-CI.yml b/.github/workflows/bolts-CI.yml
index 461822fe..901e16f6 100644
--- a/.github/workflows/bolts-CI.yml
+++ b/.github/workflows/bolts-CI.yml
@@ -22,13 +22,10 @@ jobs:
       with:
         distribution: temurin
         java-version: 17
-    - name: Install and unpack sbt
-      run: |
-        wget https://github.com/sbt/sbt/releases/download/v1.10.1/sbt-1.10.1.tgz
-        tar xfz sbt-1.10.1.tgz
-        echo "PATH=./sbt/bin/:$PATH" >> "$GITHUB_ENV"
+    - name: Add local sbt to PATH
+      run: echo "$GITHUB_WORKSPACE/sbt/bin" >> $GITHUB_PATH
     - name: Install stainless and solvers
-      run: ./install_stainless_and_solvers.sh $GITHUB_WORKSPACE/.local/bin $GITHUB_WORKSPACE/.local
+      run: ./install_stainless_and_dependencies.sh $GITHUB_WORKSPACE/.local/bin $GITHUB_WORKSPACE/.local
     - name: Add stainless to PATH
       run: echo "$GITHUB_WORKSPACE/.local/stainless/frontends/dotty/target/universal/stage/bin" >> $GITHUB_PATH
     - name: Test stainless availability
diff --git a/install_stainless_and_solvers.sh b/install_stainless_and_dependencies.sh
similarity index 91%
rename from install_stainless_and_solvers.sh
rename to install_stainless_and_dependencies.sh
index f9a0f861..02fbceca 100755
--- a/install_stainless_and_solvers.sh
+++ b/install_stainless_and_dependencies.sh
@@ -6,6 +6,12 @@ mkdir -p "$SOLVERS_DIR"
 mkdir -p "$TEMP_DIR"
 mkdir -p "$STAINLESS_DIR"
 
+# sbt
+wget https://github.com/sbt/sbt/releases/download/v1.10.1/sbt-1.10.1.tgz
+tar xfz sbt-1.10.1.tgz
+
+exit 0
+
 # 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"