Check awaiting-manual label

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

Sign in to view logs

Triggered via pull request December 4, 2025 16:06

datokrat

synchronize #11038

paul/iterators/extrinsic3

Status Success

Total duration 8s

Artifacts –

awaiting-manual.yml

on: pull_request

check-awaiting-manual