Skip to content

Correct the reroll admission rule, and file the two classes it exposed - #10195

Merged
gunbai-bot[bot] merged 8 commits into
mainfrom
session/deep-badger-41-admission-predicate
Sep 3, 2026
Merged

Correct the reroll admission rule, and file the two classes it exposed#10195
gunbai-bot[bot] merged 8 commits into
mainfrom
session/deep-badger-41-admission-predicate

Merge origin/main (2c48ea2f7e): union resolution, projections regener…

9104744
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar