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

Add more linters #710

Merged
merged 10 commits into from
Aug 15, 2024
Merged

Add more linters #710

merged 10 commits into from
Aug 15, 2024

Commits on Jul 4, 2024

  1. Add more linters

    @lucacome
    lucacome committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    286e220 View commit details
    Browse the repository at this point in the history

Commits on Jul 8, 2024

  1. Merge branch 'main' into chore/add-more-linters

    @lucacome
    lucacome authored Jul 8, 2024
    Configuration menu
    Copy the full SHA
    72e7351 View commit details
    Browse the repository at this point in the history

Commits on Jul 15, 2024

  1. Merge branch 'main' into chore/add-more-linters

    @lucacome
    lucacome authored Jul 15, 2024
    Configuration menu
    Copy the full SHA
    89025aa View commit details
    Browse the repository at this point in the history

Commits on Jul 16, 2024

  1. Merge branch 'main' into chore/add-more-linters

    @lucacome
    lucacome authored Jul 16, 2024
    Configuration menu
    Copy the full SHA
    2d92dc9 View commit details
    Browse the repository at this point in the history

Commits on Jul 24, 2024

  1. Merge branch 'main' into chore/add-more-linters

    @lucacome
    lucacome authored Jul 24, 2024
    Configuration menu
    Copy the full SHA
    33304d8 View commit details
    Browse the repository at this point in the history

Commits on Jul 29, 2024

  1. Merge branch 'main' into chore/add-more-linters

    @lucacome
    lucacome authored Jul 29, 2024
    Configuration menu
    Copy the full SHA
    05799a2 View commit details
    Browse the repository at this point in the history

Commits on Aug 5, 2024

  1. Merge branch 'main' into chore/add-more-linters

    @lucacome
    lucacome authored Aug 5, 2024
    Configuration menu
    Copy the full SHA
    0726af4 View commit details
    Browse the repository at this point in the history

Commits on Aug 9, 2024

  1. Merge branch 'main' into chore/add-more-linters

    @lucacome
    lucacome authored Aug 9, 2024
    Configuration menu
    Copy the full SHA
    43ad56f View commit details
    Browse the repository at this point in the history

Commits on Aug 12, 2024

  1. Merge branch 'main' into chore/add-more-linters

    @lucacome
    lucacome authored Aug 12, 2024
    Configuration menu
    Copy the full SHA
    bafc5cf View commit details
    Browse the repository at this point in the history

Commits on Aug 15, 2024

  1. Merge branch 'main' into chore/add-more-linters

    @lucacome
    lucacome authored Aug 15, 2024
    Configuration menu
    Copy the full SHA
    71afaa4 View commit details
    Browse the repository at this point in the history