ruff
[red-knot] mypy_primer: strip ANSI codes
#16604
Merged
Overview
Commits
1
Changes
View On GitHub

[red-knot] mypy_primer: strip ANSI codes #16604

sharkdp merged 1 commit into main from david/mypy_primer-strip-ansi-codes
sharkdp
sharkdp sharkdp added ci
sharkdp sharkdp added ty
github-actions
sharkdp [red-knot] mypy_primer: strip ANSI codes
f432654d
sharkdp sharkdp force pushed from 0efa3ce8 to f432654d 1 year ago
sharkdp sharkdp merged ec9ee93d into main 1 year ago
sharkdp sharkdp deleted the david/mypy_primer-strip-ansi-codes branch 1 year ago
MichaReiser
MichaReiser commented on 2025-03-10

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
ci ty
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum