Closed TimotheeMathieu closed 1 year ago
This PR removes CircleCI and should use pre-commit.ci instead.
Thanks! I disabled the circleci building. To fix pre-commit, you need to change the URL in the config file from gitlab to github (same URL otherwise)
Ok, this looks nice, merging this for now.
This PR removes CircleCI and should use pre-commit.ci instead.