Bump sbt version to 1.10.1, download sbt in CI (#224)

epfl-lara · Sep 8, 2024 · e1f8612 · e1f8612
1 parent 3e4cd67
commit e1f8612
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/.github/workflows/inox-CI.yml b/.github/workflows/inox-CI.yml
@@ -22,6 +22,11 @@ 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: Install solvers
       run: ./install_solvers.sh $GITHUB_WORKSPACE/.local/bin
     - name: Add solvers to PATH

diff --git a/project/build.properties b/project/build.properties
@@ -1 +1 @@
-sbt.version=1.10.0
+sbt.version=1.10.1