ruff
Use concise message to show diagnostics in playground
#17357
Merged

Use concise message to show diagnostics in playground #17357

dhruvmanila merged 1 commit into main from dhruv/playground-diagnostic
dhruvmanila
dhruvmanila dhruvmanila added playground
dhruvmanila dhruvmanila added ty
dhruvmanila dhruvmanila requested a review from MichaReiser MichaReiser 159 days ago
dhruvmanila dhruvmanila requested a review from carljm carljm 159 days ago
dhruvmanila dhruvmanila requested a review from AlexWaygood AlexWaygood 159 days ago
dhruvmanila dhruvmanila requested a review from sharkdp sharkdp 159 days ago
dhruvmanila dhruvmanila requested a review from dcreager dcreager 159 days ago
github-actions
AlexWaygood AlexWaygood removed review request from AlexWaygood AlexWaygood 159 days ago
MichaReiser MichaReiser requested a review from BurntSushi BurntSushi 159 days ago
MichaReiser MichaReiser removed review request from carljm carljm 159 days ago
MichaReiser MichaReiser removed review request from sharkdp sharkdp 159 days ago
MichaReiser MichaReiser removed review request from dcreager dcreager 159 days ago
MichaReiser
MichaReiser approved these changes on 2025-04-11
dhruvmanila Use concise message to show diagnostics in playground
b06c2ab9
dhruvmanila dhruvmanila force pushed from 183662dd to b06c2ab9 159 days ago
dhruvmanila dhruvmanila merged e5026c08 into main 159 days ago
dhruvmanila dhruvmanila deleted the dhruv/playground-diagnostic branch 159 days ago
BurntSushi
BurntSushi approved these changes on 2025-04-11

Login to write a write a comment.

Login via GitHub

Assignees
No one assigned
Labels
Milestone