[red-knot] Markdown test runner #15632
[red-knot] Add custom mdtest runner
f1d2cf50
Only run tests if compilation succeeded
1e794822
Fix ruff lints
81b014cb
sharkdp
force pushed
from
dee0d9e5
to
81b014cb
243 days ago
Apply suggestions from code review
746e9fbb
Check if mdtest_executable has been properly set
72932704
Exhaustive match
ea85af80
Add lock file
140c4122
Update documentation
c7f15bcb
Make message_format keyword-only
4b8703de
sharkdp
merged
4656e3c9
into main 243 days ago
sharkdp
deleted the david/mdtest-runner branch 243 days ago
Assignees
No one assigned
Login to write a write a comment.
Login via GitHub