Update .github/workflows/nightlydeploy.yml

Co-authored-by: Wolfram Pfeifer <[email protected]>
KeYProject · Oct 16, 2023 · bdb1129 · bdb1129
1 parent 590b18c
commit bdb1129
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/nightlydeploy.yml b/.github/workflows/nightlydeploy.yml
@@ -27,7 +27,7 @@ jobs:
       - name: Set up JDK 17
         uses: actions/setup-java@v3
         with:
-          java-version: ${{ matrix.java }}
+          java-version: 17
           distribution: 'temurin'
 
       - name: Build with Gradle