Check for modules that should use `prelude`

feat: allow anonymous equality proofs in `match` expressions #8087

Sign in to view logs

Triggered via pull request January 29, 2025 16:47

jrr6

opened #6853

jrr6:match-hole

Status Success

Total duration 15s

Artifacts –

check-prelude.yml

on: pull_request