Skip to content

Merge branch 'dev/docs' into docs-build #15

Merge branch 'dev/docs' into docs-build

Merge branch 'dev/docs' into docs-build #15

Triggered via push December 5, 2025 17:22
Status Success
Total duration 53s
Artifacts 1

docs.yml

on: push
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
877 KB
sha256:235f1f42a617851b1b2ca18e29f0f08a2698a6ae37a176b6bcc8149188b317ce