Update jdk of github action specification to jdk 21

rebeca-lang · Dec 8, 2023 · 69fa8e9 · 69fa8e9
1 parent 17d6166
commit 69fa8e9
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/maven-publish.yml b/.github/workflows/maven-publish.yml
@@ -12,10 +12,10 @@ jobs:
 
     steps:
     - uses: actions/checkout@v2
-    - name: Set up JDK 17
+    - name: Set up JDK 21
       uses: actions/setup-java@v1
       with:
-        java-version: 17
+        java-version: 21
         server-id: github # Value of the distributionManagement/repository/id field of the pom.xml
         settings-path: ${{ github.workspace }} # location for the settings.xml file