diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/maven.yml | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/.github/workflows/maven.yml b/.github/workflows/maven.yml index 2014739..8597955 100644 --- a/.github/workflows/maven.yml +++ b/.github/workflows/maven.yml @@ -53,8 +53,13 @@ jobs: id: sdkman - name: 'Build project' + shell: bash run: | source "$HOME/.sdkman/bin/sdkman-init.sh" + if [ -f ${{ format('src/main/java-22/dev/morling/onebrc/CalculateAverage_{0}.java', github.event.pull_request.user.login || '') }} ]; then + sdk install java 22.ea.32-open || true + sdk use java 22.ea.32-open + fi ./mvnw --version ./mvnw -B clean verify -Pci @@ -63,5 +68,3 @@ jobs: run: | ./test_ci.sh ${{ github.event.pull_request.user.login }} if: github.event_name == 'pull_request' - - |