Use Java 20 in CI build

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index c02b0623ff2da874f8ac61dcc84bceba84bc929d..71e6e15ebd33a48fe271be43af5f970315cb09ce 100644 (file)
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -16,7 +16,7 @@ jobs:
     runs-on: ubuntu-latest
     strategy:
       matrix:
-        java: [ '17', '19' ]
+        java: [ '17', '20' ]
 
     steps:
       - uses: actions/checkout@v3