diff options
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/test.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index a2240ff8..c6ca69fd 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -16,7 +16,7 @@ jobs: matrix: system: ["ubuntu-20.04"] jvm: ["adopt@1.8"] - scala: ["2.13.6", "2.12.13"] + scala: ["2.13.6", "2.12.14"] verilator: ["4.204"] z3: ["4.8.10"] espresso: ["2.4"] @@ -106,7 +106,7 @@ jobs: - name: Cache Scala uses: coursier/cache-action@v5 - name: Documentation (Scala 2.12 only) - if: matrix.scala == '2.12.13' + if: matrix.scala == '2.12.14' run: sbt ++${{ matrix.scala }} docs/mdoc - name: Test run: sbt ++${{ matrix.scala }} test noPluginTests/test |