Skip to content
Check for modules that should use `prelude`

feat: remove Finite conditions from iterator consumers relying on a new fixpoint combinator #20643

Sign in to view logs

feat: remove Finite conditions from iterator consumers relying on a new fixpoint combinator

feat: remove Finite conditions from iterator consumers relying on a new fixpoint combinator #20643

check-prelude

check-prelude
succeeded Dec 5, 2025 in 7s