Check for modules that should use `prelude`

fix: instantiate and normalize level metavariables in `getLevel` #25494

Sign in to view logs

Triggered via pull request April 9, 2026 08:09

sgraf812

synchronize #13343

sg/fix-getlevel-instantiate

Status Success

Total duration 11s

Artifacts –

check-prelude.yml

on: pull_request