Check for modules that should use `prelude`

feat: use structural recursion in Fin.induction #1308

Sign in to view logs

Triggered via pull request April 28, 2024 15:38

nomeata

synchronize #4010

joachim/fin-induction-structural

Status Success

Total duration 12s

Artifacts –

check-prelude.yml

on: pull_request