ruff
[red-knot] update to latest Salsa with fixpoint caching fix
#17179
Merged

[red-knot] update to latest Salsa with fixpoint caching fix #17179

carljm merged 3 commits into main from cjm/bumpsalsa2
carljm
carljm [WIP] try Salsa with fixpoint fix
540191ad
AlexWaygood AlexWaygood added ty
github-actions
carljm try with cold annotation on validate_same_iteration
4658ffcc
carljm update to latest Salsa main, with fixpoint caching fix
4ba5707a
carljm carljm changed the title [WIP] try Salsa with fixpoint fix [red-knot] update to latest Salsa with fixpoint caching fix 182 days ago
carljm carljm marked this pull request as ready for review 182 days ago
carljm carljm requested a review from MichaReiser MichaReiser 182 days ago
carljm carljm requested a review from AlexWaygood AlexWaygood 182 days ago
MichaReiser
MichaReiser approved these changes on 2025-04-03
MichaReiser
AlexWaygood
carljm
carljm carljm merged 45c43735 into main 182 days ago
carljm carljm deleted the cjm/bumpsalsa2 branch 182 days ago
AlexWaygood

Login to write a write a comment.

Login via GitHub

Assignees
No one assigned
Labels
Milestone