Skip to content
Build

De-indent headers #1031

Sign in to view logs

De-indent headers

De-indent headers #1031

Triggered via push September 13, 2024 10:48
@badboybadboy
pushed 0525732
main
Status Success
Total duration 34s
Artifacts –

build.yml

on: push
get-changed-md-files
4s
get-changed-md-files
mdbook
5s
mdbook
spell-check
7s
spell-check
link-check
8s
link-check
prettier-check
9s
prettier-check
Fit to window
Zoom out
Zoom in