Switch run_mypy.py from pass-listing to fail-listing#6381
Merged
ricardoV94 merged 1 commit intopymc-devs:mainfrom Dec 12, 2022
Merged
Switch `run_mypy.py` from pass-listing to fail-listing#6381ricardoV94 merged 1 commit intopymc-devs:mainfrom
ricardoV94 merged 1 commit intopymc-devs:mainfrom