Check for modules that should use `prelude`

chore: upstream `List.findIdx` lemmas #3587

Sign in to view logs

Triggered via pull request August 12, 2024 03:56

kim-em

opened #4995

upstream_findIdx_lemmas

Status Success

Total duration 16s

Artifacts –

check-prelude.yml

on: pull_request