You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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
0 commit comments