summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorNed Batchelder <ned@nedbatchelder.com>2022-12-29 10:19:14 -0500
committerNed Batchelder <ned@nedbatchelder.com>2022-12-29 11:28:00 -0500
commitd4c2b18bdd0102ff873514e53ec560c3083c3413 (patch)
tree4e91bacd91f5a0fbcf4976376bbc87e88d46b551 /doc
parent0accb68cd9ac353bd5464750987e02012bdb8e0c (diff)
downloadpython-coveragepy-git-d4c2b18bdd0102ff873514e53ec560c3083c3413.tar.gz
mypy: mypy checks plugin.py
Diffstat (limited to 'doc')
-rw-r--r--doc/conf.py8
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