Check for modules that should use `prelude`

chore: split RELEASES.md into releases/ folder #8249

Sign in to view logs

Triggered via pull request February 3, 2025 10:39

jcommelin

synchronize #6918

jmc-releases-folder

Status Success

Total duration 17s

Artifacts –

check-prelude.yml

on: pull_request