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 more linters #2092

Merged
merged 6 commits into from
Jun 27, 2024
Merged

Add more linters #2092

merged 6 commits into from
Jun 27, 2024

Commits on Jun 27, 2024

  1. Add more linters

    Problem: We want to catch errors and styling issues as early as
    possible.
    
    Solution: Enable new linters.
    lucacome committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    9723ba8 View commit details
    Browse the repository at this point in the history
  2. rename function

    lucacome committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    8a1989e View commit details
    Browse the repository at this point in the history
  3. generate api docs

    lucacome committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    cb1d105 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    e083cf4 View commit details
    Browse the repository at this point in the history
  5. add busters

    lucacome committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    54a4f0e View commit details
    Browse the repository at this point in the history
  6. add binary

    lucacome committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    f773879 View commit details
    Browse the repository at this point in the history