Update JDK in build process as well

OHNLP · Oct 30, 2023 · 444e17d · 444e17d
1 parent 276ae0a
commit 444e17d
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -12,10 +12,10 @@ jobs:
 
     steps:
       - uses: actions/checkout@v2
-      - name: Set up JDK 1.8
+      - name: Set up JDK 13
         uses: actions/setup-java@v1
         with:
-          java-version: 1.8
+          java-version: 13
       - name: Build with Maven
         run: mvn clean package --file pom.xml -s settings.xml -P build-executable
         env:

diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
@@ -12,10 +12,10 @@ jobs:
 
     steps:
     - uses: actions/checkout@v2
-    - name: Set up JDK 1.8
+    - name: Set up JDK 13
       uses: actions/setup-java@v1
       with:
-        java-version: 1.8
+        java-version: 13
         server-id: github # Value of the distributionManagement/repository/id field of the pom.xml
         settings-path: ${{ github.workspace }}/githubdeploysettings # location for the settings.xml file