mirror of
https://github.com/JakeHillion/drgn.git
synced 2024-12-21 08:47:02 +00:00
Run mypy on future tools
Add the tools directory to the mypy pre-commit configuration. bpf_inspect.py has a bunch of mypy errors, so we'll opt it out for now. Signed-off-by: Omar Sandoval <osandov@osandov.com>
This commit is contained in:
parent
aaf4414af2
commit
6eae1d34f8
@ -18,7 +18,7 @@ repos:
|
||||
hooks:
|
||||
- id: mypy
|
||||
args: [--show-error-codes, --strict, --no-warn-return-any, --no-warn-unused-ignores]
|
||||
files: ^drgn/.*\.py|_drgn.pyi$
|
||||
files: ^(drgn/.*\.py|_drgn.pyi|tools/.*\.py)$
|
||||
- repo: https://github.com/pre-commit/pre-commit-hooks
|
||||
rev: v4.5.0
|
||||
hooks:
|
||||
|
@ -2,6 +2,8 @@
|
||||
# Copyright (c) Meta Platforms, Inc. and affiliates.
|
||||
# SPDX-License-Identifier: LGPL-2.1-or-later
|
||||
|
||||
# type: ignore
|
||||
|
||||
import argparse
|
||||
|
||||
from drgn.helpers.common.type import enum_type_to_class
|
||||
|
Loading…
Reference in New Issue
Block a user