Skip to content
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

Upgrade CI to Java 17 #28

Merged
merged 1 commit into from
Apr 8, 2024
Merged

Upgrade CI to Java 17 #28

merged 1 commit into from
Apr 8, 2024

Conversation

gharris1727
Copy link
Contributor

No description provided.

@C0urante
Copy link
Contributor

C0urante commented Apr 8, 2024

LGTM

To be clear, we still support Java 8 (see the POM here and here, but it's nice to test against a more recent version of Java.

If compatibility issues arise with Java 8 later on, we can either patch those and add back CI runs against Java 8, or revisit the earliest Java version we support.

@C0urante C0urante merged commit 540aa7a into main Apr 8, 2024
1 check passed
@C0urante C0urante deleted the gharris1727-patch-1 branch April 8, 2024 04:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@gharris1727 @C0urante