diff options
| author | Gunnar Morling <gunnar.morling@googlemail.com> | 2024-01-21 17:07:43 +0100 |
|---|---|---|
| committer | Gunnar Morling <gunnar.morling@googlemail.com> | 2024-01-21 17:44:35 +0100 |
| commit | 3e1951379a6014ae8b711657786d0bf3eb725b0e (patch) | |
| tree | 1d6b9eb2d1d2de257c65450800670980798d12e5 /.github | |
| parent | 38c3e0f1eec57dbf7c49560a735b30de351dca6d (diff) | |
#104 Running tests for PRs
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/maven.yml | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/.github/workflows/maven.yml b/.github/workflows/maven.yml index b5f0965..9c0bc3b 100644 --- a/.github/workflows/maven.yml +++ b/.github/workflows/maven.yml @@ -45,5 +45,21 @@ jobs: key: ${{ runner.os }}-m2-${{ hashFiles('**/pom.xml') }} restore-keys: ${{ runner.os }}-m2 + #- name: Cache SDKMan + # id: cache-sdkman + # uses: actions/cache@v4 + # with: + # path: ~/.sdkman + # key: ${{ runner.os }}-sdkman + - name: 'Build project' run: mvn -B clean verify -Pci + + - name: 'Setup SDKMAN' + uses: sdkman/sdkman-action@b1f9b696c79148b66d3d3a06f7ea801820318d0f + id: sdkman + if: github.event_name == 'pull_request' + + - name: 'Test submission' + run: ./test_ci.sh ${{ github.event.pull_request.user.login }} + if: github.event_name == 'pull_request' |