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

fix: changing whitespace after module header may break subsequent commands #4357

Sign in to view logs

fix: changing whitespace after module header may break subsequent commands

fix: changing whitespace after module header may break subsequent commands #4357

Triggered via pull request September 11, 2024 12:42
@KhaKha
opened #5312
Kha:header-whitespace-reuse
Status Success
Total duration 17s
Artifacts –

check-prelude.yml

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