Check awaiting-manual label

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

Sign in to view logs

Triggered via pull request December 4, 2025 15:52

datokrat

synchronize #11038

paul/iterators/extrinsic3

Status Success

Total duration 6s

Artifacts –

awaiting-manual.yml

on: pull_request

check-awaiting-manual