Skip to content
Pull Request Labeler

Tweak run_mypy.py to be more user-friendly #887

Sign in to view logs

Tweak run_mypy.py to be more user-friendly

Tweak run_mypy.py to be more user-friendly #887

Run time

Learn about OS pricing on GitHub Actions
Job Run time
sync
15s
15s