Skip to content

Require JDK 17 rather than JDK 11 #43

Require JDK 17 rather than JDK 11

Require JDK 17 rather than JDK 11 #43

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@8ade135a41bc03ea155e62e844d188df1ea18608 # v4.1.0
with:
persist-credentials: false
- name: Set up JDK
uses: actions/setup-java@0ab4596768b603586c0de567f2430c30f5b0d2b0 # v3.13.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