Merge pull request #88 from ucb-bar/fix-ci

Author: jerryz123

.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
+      - 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