ruff
[red-knot] More exhaustive disjointness tests
#15606
Merged

[red-knot] More exhaustive disjointness tests #15606

sharkdp merged 1 commit into main from david/is-disjoint-from-tests
sharkdp
sharkdp [red-knot] More exhaustive disjointness tests
62bbbd5a
sharkdp sharkdp added ty
sharkdp sharkdp requested a review from carljm carljm 1 year ago
sharkdp sharkdp requested a review from MichaReiser MichaReiser 1 year ago
sharkdp sharkdp requested a review from AlexWaygood AlexWaygood 1 year ago
github-actions
sharkdp sharkdp merged 9725a2d4 into main 1 year ago
sharkdp sharkdp deleted the david/is-disjoint-from-tests branch 1 year ago
sharkdp sharkdp added testing

Login to write a write a comment.

Login via GitHub

Assignees
No one assigned
Labels
Milestone