More tweaks to GitHub workflow

This commit is contained in:
Geert Bevin 2022-12-31 02:22:30 -05:00
parent 16895308c6
commit 0e5fc530b3

View file

@ -12,7 +12,7 @@ jobs:
strategy:
matrix:
java-version: [ 19 ]
java-version: [ 11, 17 ]
steps:
- uses: actions/checkout@v2