Skip to content

[red-knot] Add GitHub PR annotations when mdtests fail in CI - #17150

Merged
AlexWaygood merged 5 commits into
mainfrom
alex/mdtest-github-output-2
Apr 2, 2025
Merged

[red-knot] Add GitHub PR annotations when mdtests fail in CI#17150
AlexWaygood merged 5 commits into
mainfrom
alex/mdtest-github-output-2

remove deliberate mdtest failures, add comment

3fd7de9
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs