Skip to content
Triggers on push to tip

cue/format: avoid indenting a lone leading comment #1415

Sign in to view logs

cue/format: avoid indenting a lone leading comment

cue/format: avoid indenting a lone leading comment #1415

Triggered via push June 14, 2024 13:30
@cueckoocueckoo
pushed d70f9d7
master
Status Success
Total duration 11s
Artifacts –

tip_triggers.yml

on: push
push
2s
push
Fit to window
Zoom out
Zoom in