Update nightlydeploy.yml (#3299)

Setting an explicit Java version for the deployment
KeYProject · Oct 16, 2023 · c9ba634 · c9ba634
2 parents 8502ce7 + bdb1129
commit c9ba634
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: 17
+          distribution: 'temurin'
 
       - name: Build with Gradle
         uses: gradle/[email protected]