Skip to content

Conversation

@mpkorstanje
Copy link
Contributor

🤔 What's changed?

  • Set default release version to 17
  • Enable Error prone with Nullaway
  • Enable Checkstyle

⚡️ What's your motivation?

🏷️ What kind of change is this?

  • 💥 Breaking change (incompatible changes to the API)

📋 Checklist:

@mpkorstanje mpkorstanje marked this pull request as draft November 14, 2025 13:20
@mpkorstanje mpkorstanje changed the title Java 17 Use Java 17 Nov 14, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants