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.

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

add jdk17 option #241

Merged
merged 4 commits into from
Aug 23, 2024
Merged

Commits on Aug 23, 2024

  1. add jdk17 option

    SimonHoenscheid committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    6aff288 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    581cff7 View commit details
    Browse the repository at this point in the history
  3. add tests for JDK17

    SimonHoenscheid committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    d46a751 View commit details
    Browse the repository at this point in the history
  4. update comment

    SimonHoenscheid committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    6f4fa13 View commit details
    Browse the repository at this point in the history