Merge branch 'master' into sh_merge_master

This commit is contained in:
Ralf W. Grosse-Kunstleve
2022-03-21 22:59:39 -07:00
4 changed files with 38 additions and 3 deletions

View File

@@ -125,7 +125,7 @@ repos:
# Check static types with mypy
- repo: https://github.com/pre-commit/mirrors-mypy
rev: "v0.940"
rev: "v0.941"
hooks:
- id: mypy
args: [--show-error-codes]