Update nightlydeploy.yml

Setting an explicit Java version for the deployment
KeYProject · Oct 16, 2023 · 590b18c · 590b18c
1 parent be8c6af
commit 590b18c
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.github/workflows/nightlydeploy.yml b/.github/workflows/nightlydeploy.yml
@@ -24,6 +24,11 @@ jobs:
       #     fetchReviewers: true
 
       - uses: actions/checkout@v3
+      - name: Set up JDK 17
+        uses: actions/setup-java@v3
+        with:
+          java-version: ${{ matrix.java }}
+          distribution: 'temurin'
 
       - name: Build with Gradle
         uses: gradle/[email protected]