ruff
[red-knot] Distinguish fully static protocols from non-fully-static protocols
#17795
Merged

[red-knot] Distinguish fully static protocols from non-fully-static protocols #17795

AlexWaygood merged 5 commits into main from alex/fully-static-protocols-2
AlexWaygood
AlexWaygood AlexWaygood added ty
github-actions
AlexWaygood
AlexWaygood commented on 2025-05-02
AlexWaygood AlexWaygood marked this pull request as ready for review 136 days ago
AlexWaygood AlexWaygood requested a review from carljm carljm 136 days ago
AlexWaygood AlexWaygood requested a review from sharkdp sharkdp 136 days ago
AlexWaygood AlexWaygood requested a review from dcreager dcreager 136 days ago
AlexWaygood
AlexWaygood AlexWaygood force pushed from b72a3077 to 44f5b8f6 136 days ago
carljm
carljm approved these changes on 2025-05-02
AlexWaygood Distinguish fully static protocols from non-fully-static protocols
591ac836
AlexWaygood Move protocol infrastructure into its own submodule
a8f9d21d
AlexWaygood more docs
e42d23e7
AlexWaygood fix regression surfaced by primer
e2e9cb57
AlexWaygood use a BTreeMap
1225357b
AlexWaygood AlexWaygood force pushed from 44f5b8f6 to 1225357b 136 days ago
AlexWaygood AlexWaygood merged 084352f7 into main 136 days ago
AlexWaygood AlexWaygood deleted the alex/fully-static-protocols-2 branch 136 days ago

Login to write a write a comment.

Login via GitHub

Assignees
No one assigned
Labels
Milestone