Check for modules that should use `prelude`

feat: make `Quot` live in `Sort (max 1 u)` rather than `Sort u` #30179

Sign in to view logs

Triggered via pull request September 4, 2026 12:37

opened #15023

arthur-adjedj:fixQuot2

Status Success

Total duration 12s

Artifacts –

check-prelude.yml

on: pull_request