Repository navigation
Speed up union subset checks by scanning sorted constituents - #64964
Merged
Daniel Rosenwasser (DanielRosenwasser) merged 3 commits intoOct 28, 2026
Merged
Daniel Rosenwasser (DanielRosenwasser) merged 3 commits into
Daniel Rosenwasser (DanielRosenwasser) merged 3 commits into
Commits
Commits on Oct 25, 2026