More tweaks to GitHub workflow

This commit is contained in:
Geert Bevin 2022-12-31 02:20:43 -05:00
parent 0125d144cb
commit 16895308c6

View file

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