Skip to content

[red-knot] mypy_primer: Fail job on panic or internal errors#17389

Merged
sharkdp merged 1 commit intomainfrom
david/mypy_primer-fail-job-on-panics
Apr 14, 2025
Merged

[red-knot] mypy_primer: Fail job on panic or internal errors#17389
sharkdp merged 1 commit intomainfrom
david/mypy_primer-fail-job-on-panics

Commits

Commits on Apr 14, 2025