diff options
author | Ned Batchelder <ned@nedbatchelder.com> | 2022-12-29 10:19:14 -0500 |
---|---|---|
committer | Ned Batchelder <ned@nedbatchelder.com> | 2022-12-29 11:28:00 -0500 |
commit | d4c2b18bdd0102ff873514e53ec560c3083c3413 (patch) | |
tree | 4e91bacd91f5a0fbcf4976376bbc87e88d46b551 /doc | |
parent | 0accb68cd9ac353bd5464750987e02012bdb8e0c (diff) | |
download | python-coveragepy-git-d4c2b18bdd0102ff873514e53ec560c3083c3413.tar.gz |
mypy: mypy checks plugin.py
Diffstat (limited to 'doc')
-rw-r--r-- | doc/conf.py | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/doc/conf.py b/doc/conf.py index 88355b3f..d411e82e 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -123,6 +123,14 @@ intersphinx_mapping = { 'python': ('https://docs.python.org/3', None), } +nitpick_ignore = [ + ("py:class", "frame"), +] + +nitpick_ignore_regex = [ + (r"py:class", r"coverage\.types\..*"), +] + # -- Options for HTML output --------------------------------------------------- # The theme to use for HTML and HTML Help pages. Major themes that come with |