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