Tweak run_mypy.py to be more user-friendly #880
Triggered via pull request
November 16, 2025 19:47
jessegrabowski
jessegrabowski
opened
#7963
Status
Success
Total duration
18s
Artifacts
–