Check for stage0 changes

feat: lemmas about `pure` for `{List,Array,Vector}.{mapM,foldlM,foldrM,anyM,allM,findM?,findSomeM?}` #11036

Sign in to view logs

Triggered via pull request March 6, 2025 14:26

eric-wieser

synchronize #7356

eric-wieser:fold_pure

Status Success

Total duration 47s

Artifacts –

check-stage0.yml

on: pull_request

check-stage0-on-queue