Skip to content

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

Merge branch 'dev/docs' into docs-build

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

Triggered via push December 5, 2025 17:05
Status Success
Total duration 41s
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:7e31d221a80e63e0dfe029444ff7ad184aa82a57116d2b23fc3ce4c77865d221