Check for modules that should use `prelude`

refactor: WF.fix: use WellFoundedRelation.fixBy #4268

Sign in to view logs

Triggered via pull request September 7, 2024 11:50

nomeata

synchronize #5233

joachim/wf-fix

Status Success

Total duration 16s

Artifacts –

check-prelude.yml

on: pull_request