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

Improve CI #48

Merged
merged 2 commits into from
Sep 11, 2023
Merged

Improve CI #48

merged 2 commits into from
Sep 11, 2023

Commits on Sep 8, 2023

  1. Improve CI

    We add a pre-commit.ci configuration that will automatically add a
    commit with code formatting from black and isort.
    
    We update the version of pylint to the latest stable 2.17 version.
    
    We also add a mypy type checker configured so that the checker only
    issues warnings and does not fail the whole CI. We configure mypy to be
    as lenient as possible.
    
    We also modify the triggers for tox tests, so that the whole suite is
    being run only once per PR.
    jm-wk committed Sep 8, 2023
    Configuration menu
    Copy the full SHA
    bb068dd View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    ce2d01c View commit details
    Browse the repository at this point in the history