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

fix: make sure whitespace is printed before tactic configuration #6392

Sign in to view logs

fix: make sure whitespace is printed before tactic configuration

fix: make sure whitespace is printed before tactic configuration #6392

Triggered via pull request November 21, 2024 18:59
@kmillkmill
opened #6161
kmill:pp_optconfig_space
Status Success
Total duration 14s
Artifacts –

check-prelude.yml

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