Skip to content
Deploy document to GitHub Pages

Build and deploy documentation to GitHub Pages. Run 137.1 #137

Sign in to view logs

Build and deploy documentation to GitHub Pages. Run 137.1

Build and deploy documentation to GitHub Pages. Run 137.1 #137

Triggered via push October 5, 2025 07:26
@RobSmythRobSmyth
pushed 36e6908
main
Status Success
Total duration 34s
Artifacts 1

deploy-pages.yml

on: push
publish-docs
29s
publish-docs
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
7.32 MB
sha256:59206e7a76e1bc20218c805ea5d6db459bd4bc9b8174628d1c8e7f6bd8d153d4