Update GitHub workflows.

io7m-com · Aug 13, 2023 · 0d8d077 · 0d8d077
1 parent c1e470a
commit 0d8d077
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/main.linux.temurin.current.yml b/.github/workflows/main.linux.temurin.current.yml
@@ -14,7 +14,7 @@ jobs:
       - name: JDK
         uses: actions/setup-java@v3
         with:
-          java-version: 19
+          java-version: 20
           distribution: 'temurin'
       - name: Build
         run: mvn --errors clean verify site

diff --git a/.github/workflows/main.windows.temurin.current.yml b/.github/workflows/main.windows.temurin.current.yml
@@ -14,7 +14,7 @@ jobs:
       - name: JDK
         uses: actions/setup-java@v3
         with:
-          java-version: 19
+          java-version: 20
           distribution: 'temurin'
       - name: Build
         run: mvn --errors clean verify site