Skip to content

Publish released documentation #2

Publish released documentation

Publish released documentation #2

Manually triggered July 25, 2025 10:07
Status Success
Total duration 3m 52s
Artifacts 1

publish-gh-pages.yml

on: workflow_dispatch
build-docs  /  build
40s
build-docs / build
build-docs  /  deploy
9s
build-docs / deploy
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
7.36 MB
sha256:c8234ee9d21712d0e8c5ed9051343180ca988f8ec860a74ed6aa5aea5179c971