Merge pull request 'fix: ci cache' (#87) from dev into master

Reviewed-on: #87
This commit was merged in pull request #87.
This commit is contained in:
2025-12-31 13:15:42 +00:00

View File

@@ -40,7 +40,7 @@ jobs:
${{ runner.os }}- ${{ runner.os }}-
- name: Set up JDK 17 - name: Set up JDK 17
uses: actions/setup-java@v5 uses: actions/setup-java@v4
with: with:
java-version: '21' java-version: '21'
distribution: 'graalvm' distribution: 'graalvm'