Skip to content

Update GitHub workflows #1

Update GitHub workflows

Update GitHub workflows #1

Triggered via push December 24, 2025 07:23
Status Success
Total duration 32s
Artifacts 1

document.yml

on: push
Build documentation
18s
Build documentation
Deploy documentation
8s
Deploy documentation
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
7.65 MB
sha256:923fdfe813cca163588687c5af147920715644af662ff46297ea16d0a7ec173a