Forgotten graalvm version in release CI (#870)

Signed-off-by: Hugo KULESZA <[email protected]>
powsybl · Oct 25, 2024 · 4436170 · 4436170
1 parent 9d14841
commit 4436170
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/.github/workflows/dev-ci.yml b/.github/workflows/dev-ci.yml
@@ -130,7 +130,7 @@ jobs:
       - name: Setup GraalVM
         uses: graalvm/setup-graalvm@v1
         with:
-          java-version: '17'
+          java-version: '17.0.12'
           distribution: 'graalvm'
           github-token: ${{ secrets.GITHUB_TOKEN }}
 

diff --git a/.github/workflows/full-ci.yml b/.github/workflows/full-ci.yml
@@ -183,7 +183,7 @@ jobs:
       - name: Setup GraalVM
         uses: graalvm/setup-graalvm@v1
         with:
-          java-version: '17'
+          java-version: '17.0.12'
           distribution: 'graalvm'
           github-token: ${{ secrets.GITHUB_TOKEN }}
 

diff --git a/.github/workflows/release-ci.yml b/.github/workflows/release-ci.yml
@@ -34,7 +34,7 @@ jobs:
       - name: Setup GraalVM
         uses: graalvm/[email protected] # !!! this is last version compatible with manylinux 2014
         with:
-          java-version: '17'
+          java-version: '17.0.12'
           distribution: 'graalvm'
           github-token: ${{ secrets.GITHUB_TOKEN }}
 
@@ -95,7 +95,7 @@ jobs:
       - name: Setup GraalVM
         uses: graalvm/setup-graalvm@v1
         with:
-          java-version: '17'
+          java-version: '17.0.12'
           distribution: 'graalvm'
           github-token: ${{ secrets.GITHUB_TOKEN }}