Skip to content

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

Tweak run_mypy.py to be more user-friendly

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

Triggered via push November 18, 2025 15:43
Status Success
Total duration 34s
Artifacts

tests.yml

on: push
Check for changes
21s
Check for changes
Matrix: alternative_backends
Matrix: float32
Matrix: macos
Matrix: ubuntu
Matrix: windows
all_tests
3s
all_tests
Fit to window
Zoom out
Zoom in