Merge branch 'pybind:master' into master

This commit is contained in:
Steve R. Sun 2022-09-13 13:56:36 +08:00 committed by GitHub
commit 9e7114b495
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -110,7 +110,7 @@ repos:
# PyLint has native support - not always usable, but works for us
- repo: https://github.com/PyCQA/pylint
rev: "v2.15.0"
rev: "v2.15.2"
hooks:
- id: pylint
files: ^pybind11