Merge branch 'master' into sh_merge_master

This commit is contained in:
Ralf W. Grosse-Kunstleve
2023-03-16 21:36:21 -07:00
6 changed files with 54 additions and 13 deletions

View File

@@ -70,7 +70,7 @@ repos:
# Ruff, the Python auto-correcting linter written in Rust
- repo: https://github.com/charliermarsh/ruff-pre-commit
rev: v0.0.251
rev: v0.0.254
hooks:
- id: ruff
args: ["--fix", "--show-fixes"]
@@ -85,7 +85,7 @@ repos:
# PyLint has native support - not always usable, but works for us
- repo: https://github.com/PyCQA/pylint
rev: "v2.16.1"
rev: "v2.16.4"
hooks:
- id: pylint
files: ^pybind11
@@ -101,7 +101,7 @@ repos:
# Check static types with mypy
- repo: https://github.com/pre-commit/mirrors-mypy
rev: "v0.991"
rev: "v1.0.1"
hooks:
- id: mypy
args: []