Require JDK 17 rather than JDK 11 #80
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Build with JDK 17 and test against JDK 11 | |
| on: | |
| pull_request: | |
| push: | |
| branches: [ master ] | |
| permissions: | |
| contents: read | |
| jobs: | |
| build: | |
| runs-on: ubuntu-22.04 | |
| steps: | |
| # We run the build twice: once against the original Error Prone release, | |
| # and once against the Picnic Error Prone fork. In both cases the code is | |
| # compiled using JDK 17, while the tests are executed using JDK 11. | |
| - name: Check out code and set up JDK and Maven | |
| uses: s4u/setup-maven-action@fa2c7e4517ed008b1f73e7e0195a9eecf5582cd4 # v1.11.0 | |
| with: | |
| java-version: | | |
| 11.0.22 | |
| 17.0.10 | |
| java-distribution: temurin | |
| maven-version: 3.9.6 | |
| - name: Display build environment details | |
| run: mvn --version | |
| - name: Build project against vanilla Error Prone | |
| run: mvn -T1C install -Dsurefire.jdk-toolchain-version=11.0.22 | |
| - name: Build project with self-check against Error Prone fork | |
| run: mvn -T1C clean verify -Perror-prone-fork -Dsurefire.jdk-toolchain-version=11.0.22 -s settings.xml | |
| - name: Remove installed project artifacts | |
| run: mvn build-helper:remove-project-artifact |