diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index b16d8577..f2a0b009 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -24,6 +24,8 @@ jobs:
           cache: "sbt"
           java-version: ${{ matrix.java }}
 
+      - uses: sbt/setup-sbt@v1
+
       - name: Main project tests
         run: sbt test 
 
@@ -43,6 +45,8 @@ jobs:
           cache: "sbt"
           java-version: 17
 
+      - uses: sbt/setup-sbt@v1
+
       - name: Build Dockerised CLI
         run: sbt cli/docker
 
@@ -84,6 +88,15 @@ jobs:
     steps:
       - uses: actions/checkout@v2
       - run: yarn global add @bazel/bazelisk
+
+      - uses: actions/setup-java@v3
+        with:
+          distribution: "temurin"
+          cache: "sbt"
+          java-version: 17
+
+      - uses: sbt/setup-sbt@v1
+
       - run: sbt build
       - run: echo "$PWD/out/bin" >> $GITHUB_PATH
       - name: Auto-index scip-java codebase
@@ -101,12 +114,15 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v2
+
       - uses: actions/setup-java@v3
         with:
           distribution: "temurin"
           java-version: 11
           cache: "sbt"
 
+      - uses: sbt/setup-sbt@v1
+
       - run: sbt --client checkAll
 
       - name: Run sample benchmarks
@@ -129,6 +145,7 @@ jobs:
           cache: "sbt"
           java-version: ${{ matrix.java }}
 
+      - uses: sbt/setup-sbt@v1
 
       - run: |
           sbt build publishM2 publishLocal dumpScipJavaVersion
diff --git a/.github/workflows/mdoc.yml b/.github/workflows/mdoc.yml
index 63f47555..7d77e257 100644
--- a/.github/workflows/mdoc.yml
+++ b/.github/workflows/mdoc.yml
@@ -15,6 +15,7 @@ jobs:
           distribution: 'temurin'
           java-version: 11
           cache: 'sbt'
+      - uses: sbt/setup-sbt@v1
       - run: sbt docs/docusaurusPublishGhpages
         env:
           GIT_DEPLOY_KEY: ${{ secrets.GIT_DEPLOY_KEY }}
diff --git a/.github/workflows/release-docker.yml b/.github/workflows/release-docker.yml
index bf6f9c2d..1b2c2ceb 100644
--- a/.github/workflows/release-docker.yml
+++ b/.github/workflows/release-docker.yml
@@ -16,6 +16,7 @@ jobs:
           distribution: 'temurin'
           java-version: 8
           cache: 'sbt'
+      - uses: sbt/setup-sbt@v1
       - uses: docker/setup-buildx-action@v1
       - name: Login to DockerHub
         uses: docker/login-action@v1
diff --git a/.github/workflows/release-maven.yml b/.github/workflows/release-maven.yml
index 0341ef0f..8bfb29f5 100644
--- a/.github/workflows/release-maven.yml
+++ b/.github/workflows/release-maven.yml
@@ -15,6 +15,7 @@ jobs:
           distribution: 'temurin'
           java-version: 8
           cache: 'sbt'
+      - uses: sbt/setup-sbt@v1
       - name: Publish ${{ github.ref }}
         run: sbt ci-release
         env:
diff --git a/.github/workflows/sourcegraph.yml b/.github/workflows/sourcegraph.yml
index 4ffaba70..aa0d436d 100644
--- a/.github/workflows/sourcegraph.yml
+++ b/.github/workflows/sourcegraph.yml
@@ -21,6 +21,8 @@ jobs:
           java-version: 8
           cache: "sbt"
 
+      - uses: sbt/setup-sbt@v1
+
       - name: Publish CLI locally
         run: sbt publishLocal dumpScipJavaVersion