diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 2dc7c3136d8ad5a34dac7a1cee44403347b39a86..dd38e89a6ae4b8b7d4c602441285a36f46f83c89 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -9,10 +9,10 @@ jobs:
 
     steps:
       - uses: actions/checkout@v2
-      - name: Set up JDK @v1
+      - name: Set up JDK 
         uses: actions/setup-java@v1
         with:
-          java-version: 21
+          java-version: 17
       - name: Compile
         run: sbt compile
       - name: Run tests
@@ -25,4 +25,3 @@ jobs:
         run: sbt "lisa-sets / compile"
       - name: Compile examples
         run: sbt "lisa-examples / compile"
-
diff --git a/project/build.properties b/project/build.properties
index f1a9ac348ba8bc6f7a19869d1863f7046830e275..553c9d3ee245d64d065b4c9bfdec2968ca69140c 100644
--- a/project/build.properties
+++ b/project/build.properties
@@ -1,2 +1,2 @@
 
-sbt.version = 1.8.2
+sbt.version = 1.9.3