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 pre commit #459

Merged
merged 6 commits into from
Oct 11, 2023
Merged

Add pre commit #459

merged 6 commits into from
Oct 11, 2023

Commits on Oct 11, 2023

  1. Use pre-commit 

    Add pre-commit config with some basic hooks
Use pre-commit.ci
    @mshriver @ogajduse
    mshriver authored and ogajduse committed Oct 11, 2023
    Configuration menu
    Copy the full SHA
    b443e6f View commit details
    Browse the repository at this point in the history

  2. Run pre-commit and fixes

    @mshriver @ogajduse
    mshriver authored and ogajduse committed Oct 11, 2023
    Configuration menu
    Copy the full SHA
    14deab6 View commit details
    Browse the repository at this point in the history

  3. add dist to gitignore

    @mshriver @ogajduse
    mshriver authored and ogajduse committed Oct 11, 2023
    Configuration menu
    Copy the full SHA
    ce60d51 View commit details
    Browse the repository at this point in the history

  4. Update pre-commit config and versions 

    remove python version spec
    @mshriver @ogajduse
    mshriver authored and ogajduse committed Oct 11, 2023
    Configuration menu
    Copy the full SHA
    12cd73a View commit details
    Browse the repository at this point in the history

  5. Run pre-commit hooks

    @ogajduse
    ogajduse committed Oct 11, 2023
    Configuration menu
    Copy the full SHA
    82bd26f View commit details
    Browse the repository at this point in the history

  6. Drop Python 3.7, add 3.12

    @ogajduse
    ogajduse committed Oct 11, 2023
    Configuration menu
    Copy the full SHA
    0945027 View commit details
    Browse the repository at this point in the history