Skip to content
Triage "info-needed" label

dev deps: not a bug, but do not suggest "mypy" when I have "ty" #13340

Sign in to view logs

dev deps: not a bug, but do not suggest "mypy" when I have "ty"

dev deps: not a bug, but do not suggest "mypy" when I have "ty" #13340

Run time

Learn about OS pricing on GitHub Actions
Job Run time
remove_label
12s
add_label
-1s
11s