merge: #990

990: Use graalvm with Java 20 r=imkiva a=imkiva as title Co-authored-by: imkiva <[email protected]>
aya-prover · Aug 5, 2023 · bd05586 · bd05586
2 parents 89e400e + e34db05
commit bd05586
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/nightly-build.yml b/.github/workflows/nightly-build.yml
@@ -93,8 +93,8 @@ jobs:
       - name: Setup GraalVM
         uses: graalvm/setup-graalvm@v1
         with:
-          version: 'latest'
           java-version: '20'
+          distribution: 'graalvm-community'
           components: 'native-image'
           set-java-home: 'false'
           github-token: ${{ secrets.GH_TOKEN }}