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

chore: Add java lint (google-java-format) #4175

Merged
merged 6 commits into from
Oct 15, 2024
Merged

chore: Add java lint (google-java-format) #4175

merged 6 commits into from
Oct 15, 2024

Commits on Oct 15, 2024

  1. chore: Add java lint (google-java-format)

    @krystofwoldrich
    krystofwoldrich committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    ed9294c View commit details
    Browse the repository at this point in the history

  2. list java files with lint issues

    @krystofwoldrich
    krystofwoldrich committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    a9b3d82 View commit details
    Browse the repository at this point in the history

  3. tmp output

    @krystofwoldrich
    krystofwoldrich committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    1fa29b3 View commit details
    Browse the repository at this point in the history

  4. tmp

    @krystofwoldrich
    krystofwoldrich committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    7f776bf View commit details
    Browse the repository at this point in the history

  5. better change output

    @krystofwoldrich
    krystofwoldrich committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    fc36d26 View commit details
    Browse the repository at this point in the history

  6. change problematic comment

    @krystofwoldrich
    krystofwoldrich committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    afeb36a View commit details
    Browse the repository at this point in the history