Merge branch 'pybind:master' into master

This commit is contained in:
Steve R. Sun 2023-03-08 08:35:57 +08:00 committed by GitHub
commit 54e68c5868
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -68,7 +68,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"]
@ -84,7 +84,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
@ -100,7 +100,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: []