Skip to content
Check for modules that should use `prelude`

feat: delay elab of full file #30636

Sign in to view logs

feat: delay elab of full file

feat: delay elab of full file #30636

Triggered via pull request September 18, 2026 21:29
@AugustDeerAugustDeer
opened #15222
AugustDeer:master
Status Success
Total duration 14s
Artifacts –

check-prelude.yml

on: pull_request
check-prelude
10s
check-prelude
Fit to window
Zoom out
Zoom in

Annotations

1 notice
check-prelude
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"