From a13852386b07ba74423aecc54a5acae5afe5b294 Mon Sep 17 00:00:00 2001
From: Jerry Zhao <jerryz123@berkeley.edu>
Date: Thu, 11 Sep 2025 02:44:34 +0200
Subject: [PATCH] Update SBT CI go Java-17 only

---
 .github/workflows/ci.yml | 38 ++++++++++++++------------------------
 1 file changed, 14 insertions(+), 24 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 663e6d4..bd0b360 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -24,28 +24,18 @@ jobs:
 
   sbt-test:
     name: Use testfloat to test hardfloat (with SBT)
-    strategy:
-      fail-fast: false
-      matrix:
-        include:
-          - os: ubuntu-latest
-            java: 8
-          - os: ubuntu-latest
-            java: 11
-          - os: ubuntu-latest
-            java: 17
-    runs-on: ${{ matrix.os }}
+    runs-on: ubuntu-latest
     steps:
-    - name: Checkout
-      uses: actions/checkout@v2
-    - name: Setup JDK
-      uses: actions/setup-java@v3
-      with:
-        distribution: temurin
-        java-version: ${{ matrix.java }}
-        cache: sbt
-    - name: Install Verilator
-      run: sudo apt-get install -y verilator gcc
-    - name: Build and test
-      shell: bash
-      run: make test
\ No newline at end of file
+      - uses: actions/checkout@v4
+      - name: Setup JDK
+        uses: actions/setup-java@v4
+        with:
+          distribution: temurin
+          java-version: 17
+          cache: sbt
+      - uses: sbt/setup-sbt@v1
+      - name: Build and test
+        shell: bash
+        run: |
+          sudo apt install -y verilator
+          make test