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

Contributing and tools #812

Open
wants to merge 4 commits into
base: master
Choose a base branch
from
Open

Contributing and tools #812

wants to merge 4 commits into from
+137 −111

Commits on Apr 29, 2024

  1. ⬆ Bump ruff pre-commit hook

    @ivantodorovich
    ivantodorovich committed Apr 29, 2024
    Configuration menu
    Copy the full SHA
    bebc0dc View commit details
    Browse the repository at this point in the history

  2. 🤖 Add mypy pre-commit hook

    @ivantodorovich
    ivantodorovich committed Apr 29, 2024
    Configuration menu
    Copy the full SHA
    71763c3 View commit details
    Browse the repository at this point in the history

  3. 🌱 Run lint in a separate ci job 

    Before this commit, the linting was done in the test matrix (once per python
version). This is not necessary, as the linting is the same for all versions.

Now, the linting is fully delegated to pre-commit, and executed as a separate
job.
    @ivantodorovich
    ivantodorovich committed Apr 29, 2024
    Configuration menu
    Copy the full SHA
    3758343 View commit details
    Browse the repository at this point in the history

  4. 📝 Update the Contributing documentation 

    * Remove the outdated `flit` section
* Mention pre-commit and how to use it
* Describe how to set-up the development dependencies
* Describe how to run tests
    @ivantodorovich
    ivantodorovich committed Apr 29, 2024
    Configuration menu
    Copy the full SHA
    15a1dcd View commit details
    Browse the repository at this point in the history