Check for modules that should use `prelude`

refactor: deriving DecidableEq to use `termination_by structural` #3283

Sign in to view logs

Triggered via pull request July 29, 2024 14:07

nomeata

synchronize #4826

joachim/decEq-structural

Status Success

Total duration 18s

Artifacts –

check-prelude.yml

on: pull_request