Skip to content

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

Merge branch 'dev/docs' into docs-build

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

Triggered via push December 9, 2025 18:54
Status Success
Total duration 1m 28s
Artifacts 1

docs.yml

on: push
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
888 KB
sha256:992d5df5ee427dbd9a81c979f3617a1311a581b114f371b9ce49b8ffc9f77dca