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

Java 17 #129

Draft
wants to merge 5 commits into
base: master
Choose a base branch
from
Draft

Java 17 #129

wants to merge 5 commits into from

Commits on May 1, 2023

  1. Change language version to 17

    @7h3kk1d
    7h3kk1d committed May 1, 2023
    Configuration menu
    Copy the full SHA
    eba9e67 View commit details
    Browse the repository at this point in the history

  2. Convert some classes to records

    @7h3kk1d
    7h3kk1d committed May 1, 2023
    Configuration menu
    Copy the full SHA
    59fa912 View commit details
    Browse the repository at this point in the history

  3. Use pattern variables

    @7h3kk1d
    7h3kk1d committed May 1, 2023
    Configuration menu
    Copy the full SHA
    aba344a View commit details
    Browse the repository at this point in the history

  4. Use collection factory calls

    @7h3kk1d
    7h3kk1d committed May 1, 2023
    Configuration menu
    Copy the full SHA
    956b118 View commit details
    Browse the repository at this point in the history

  5. Try making maybe a sealed interface

    @7h3kk1d
    7h3kk1d committed May 1, 2023
    Configuration menu
    Copy the full SHA
    83c8aae View commit details
    Browse the repository at this point in the history