Check for modules that should use `prelude`

feat: missing lemmas about List's BEq #6493

Sign in to view logs

Triggered via pull request November 25, 2024 22:33

kim-em

opened #6217

list_beq_lemmas

Status Success

Total duration 13s

Artifacts –

check-prelude.yml

on: pull_request