Skip to content

Require JDK 17 rather than JDK 11 #47

Require JDK 17 rather than JDK 11

Require JDK 17 rather than JDK 11 #47

Workflow file for this run

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
uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # v4.1.1
with:
persist-credentials: false
- name: Set up JDK
uses: actions/setup-java@387ac29b308b003ca37ba93a6cab5eb57c8f5f93 # v4.0.0
with:
java-version: |
11.0.20
17.0.8
distribution: temurin
cache: maven
- 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.20
- name: Build project with self-check against Error Prone fork
run: mvn -T1C clean verify -Perror-prone-fork -Dsurefire.jdk-toolchain-version=11.0.20 -s settings.xml
- name: Remove installed project artifacts
run: mvn build-helper:remove-project-artifact