Check for modules that should use `prelude`

feat: let simp apply rules with higher-order patterns #4773

Sign in to view logs

Triggered via pull request September 26, 2024 12:18

nomeata

synchronize #5479

joachim/simp_eq_self

Status Success

Total duration 27s

Artifacts –

check-prelude.yml

on: pull_request