Skip to content
Lint

set an exit code in make_doc (#5835) #2181

Sign in to view logs

set an exit code in make_doc (#5835)

set an exit code in make_doc (#5835) #2181

Triggered via push November 27, 2024 12:26
@fingolfinfingolfin
pushed 37a8938
master
Status Success
Total duration 41s
Artifacts –

lint.yml

on: push
gaplint
30s
gaplint
Fit to window
Zoom out
Zoom in