ruff
[red-knot] improve type shrinking coverage in red-knot property tests
#15297
Merged

[red-knot] improve type shrinking coverage in red-knot property tests #15297

sharkdp merged 1 commit into astral-sh:main from rtpg:type-shrinking
rtpg
rtpg rtpg requested a review from carljm carljm 271 days ago
rtpg rtpg requested a review from MichaReiser MichaReiser 271 days ago
rtpg rtpg requested a review from AlexWaygood AlexWaygood 271 days ago
rtpg rtpg requested a review from sharkdp sharkdp 271 days ago
rtpg rtpg force pushed from 36e79bd8 to 48ee7ef6 271 days ago
github-actions
rtpg rtpg force pushed from 48ee7ef6 to 2179b62e 271 days ago
MichaReiser
MichaReiser commented on 2025-01-06
MichaReiser
MichaReiser commented on 2025-01-06
MichaReiser MichaReiser added testing
MichaReiser MichaReiser added ty
rtpg rtpg force pushed from 2179b62e to bf4656e2 271 days ago
rtpg improve type shrinking coverage in red-knot property tests
76cf71a7
rtpg rtpg force pushed from bf4656e2 to 76cf71a7 271 days ago
rtpg
sharkdp
sharkdp commented on 2025-01-06
rtpg
sharkdp
sharkdp
sharkdp approved these changes on 2025-01-07
sharkdp sharkdp merged 066239fe into main 270 days ago

Login to write a write a comment.

Login via GitHub

Assignees
No one assigned
Labels
Milestone