Merge branch 'master' into sh_merge_master

This commit is contained in:
Ralf W. Grosse-Kunstleve
2022-05-05 16:12:58 -07:00
9 changed files with 99 additions and 32 deletions

View File

@@ -73,7 +73,7 @@ repos:
# Autoremoves unused imports
- repo: https://github.com/hadialqattan/pycln
rev: "v1.3.1"
rev: "v1.3.2"
hooks:
- id: pycln
stages: [manual]
@@ -110,7 +110,7 @@ repos:
# PyLint has native support - not always usable, but works for us
- repo: https://github.com/PyCQA/pylint
rev: "v2.13.5"
rev: "v2.13.8"
hooks:
- id: pylint
files: ^pybind11
@@ -126,7 +126,7 @@ repos:
# Check static types with mypy
- repo: https://github.com/pre-commit/mirrors-mypy
rev: "v0.942"
rev: "v0.950"
hooks:
- id: mypy
args: []