ruff
[ty] Add support for `@warnings.deprecated`
#19376
Merged

[ty] Add support for `@warnings.deprecated` #19376

Gankra merged 11 commits into main from gankra/warn-dep
Gankra
Gankra Gankra requested a review from carljm carljm 1 year ago
Gankra Gankra requested a review from AlexWaygood AlexWaygood 1 year ago
Gankra Gankra requested a review from sharkdp sharkdp 1 year ago
Gankra Gankra requested a review from dcreager dcreager 1 year ago
Gankra Gankra changed the title Add support for `@warnings.deprecated` [ty] Add support for `@warnings.deprecated` 1 year ago
Gankra Gankra added ty
Gankra Gankra added diagnostics
Gankra
Gankra
Gankra commented on 2025-07-15
Gankra
Gankra commented on 2025-07-15
Gankra
Gankra commented on 2025-07-15
dcreager
dcreager commented on 2025-07-15
sharkdp
sharkdp commented on 2025-07-16
sharkdp
sharkdp commented on 2025-07-16
sharkdp
sharkdp commented on 2025-07-16
sharkdp
sharkdp commented on 2025-07-16
MichaReiser
MichaReiser commented on 2025-07-16
Gankra
Gankra Gankra force pushed from 4eec109f to 8ded41b7 1 year ago
Gankra
github-actions
Gankra Gankra force pushed from 8ded41b7 to 0f5a9092 1 year ago
Gankra [ty] Implement `@warnings.deprecated`
d32ea52b
Gankra cleanups
27fd7cb0
Gankra cleanup messages and TODOs
8cdb5f8d
Gankra add snapshots
d0c4a209
Gankra prefer the shim as canonical
ea1ac07e
Gankra update schema
b1fde6a0
Gankra update more
2b0c11c1
sharkdp sharkdp force pushed from c9b46097 to 2b0c11c1 1 year ago
sharkdp
sharkdp sharkdp added ecosystem-analyzer
github-actions
sharkdp
sharkdp commented on 2025-07-18
sharkdp
sharkdp commented on 2025-07-18
sharkdp
sharkdp commented on 2025-07-18
MichaReiser
MichaReiser approved these changes on 2025-07-18
sharkdp
sharkdp approved these changes on 2025-07-18
carljm
carljm commented on 2025-07-18
Gankra cleanups
093977a1
Gankra update lints
8f45ed6b
Gankra improve bench diagnostics and bump min
1213263e
github-actions
carljm
carljm approved these changes on 2025-07-18
Gankra final fixups
5ed63e94
Gankra
Gankra Gankra enabled auto-merge (squash) 1 year ago
Gankra Gankra merged 06f9f52e into main 1 year ago
Gankra Gankra deleted the gankra/warn-dep branch 1 year ago

Login to write a write a comment.

Login via GitHub

Assignees
No one assigned
Labels
Milestone