New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Update JDK in CI #520

Merged

catostrophe merged 1 commit into master from update-jdk-in-builds

Feb 17, 2021

Member

catostrophe commented Feb 17, 2021 •

edited

Loading

Migrate to JDK11


          Update jdk in CI

aed4613

catostrophe requested review from danslapman, Odomontois, oskin1 and Z1kkurat as code owners

February 17, 2021 11:30

Odomontois approved these changes

View reviewed changes

catostrophe merged commit 40ab7d1 into master

Z1kkurat approved these changes

View reviewed changes

catostrophe deleted the update-jdk-in-builds branch

February 17, 2021 11:35

catostrophe added the chore label

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

Odomontois Odomontois approved these changes

Z1kkurat Z1kkurat approved these changes

danslapman Awaiting requested review from danslapman danslapman is a code owner

oskin1 Awaiting requested review from oskin1 oskin1 is a code owner

Labels

chore