Update docs.yml: add mypy/main.py (#19829)

wyattscarpenter · web-flow · commit 6cc96f48ab6a · 2025-09-14T00:05:07.000+01:00
Part of the documentation is automatically generated from the options definitions in mypy/main.py, so we need to run the docs CI when that file is modified. This follows up on #19727, which itself follows up on #19062
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -12,6 +12,9 @@ on:
     # so it's important to do the docs build on all PRs touching mypy/errorcodes.py
     # in case somebody's adding a new error code without any docs
     - 'mypy/errorcodes.py'
+    # Part of the documentation is automatically generated from the options
+    # definitions in mypy/main.py
+    - 'mypy/main.py'
     - 'mypyc/doc/**'
     - '**/*.rst'
     - '**/*.md'
