Skip to content
Deploy documentation site to GitHub Pages

(#269) Fix for indent of headings (#287) #24

Sign in to view logs

(#269) Fix for indent of headings (#287)

(#269) Fix for indent of headings (#287) #24

Triggered via push February 13, 2025 22:39
@adrianhalladrianhall
pushed 3dc7a48
main
Status Success
Total duration 35s
Artifacts 1

build-docs.yml

on: push
build
10s
build
deploy
7s
deploy
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
2.98 MB
sha256:b846b5c98345e2416900049cd678ba03b146b5d9ce767f68649ae8f07815c22c