Merge pull request #430 from mdedetrich/add-jdk-17-to-ci

Add JDK 17 to CI
This commit is contained in:
eugene yokota 2023-09-11 12:27:29 -04:00 committed by GitHub
commit b47e081c7e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 0 deletions

View File

@ -14,6 +14,9 @@ jobs:
- os: ubuntu-latest
java: 11
jobtype: 1
- os: ubuntu-latest
java: 17
jobtype: 1
runs-on: ${{ matrix.os }}
env:
# define Java options for both official sbt and sbt-extras