Skip to content

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

Merge branch 'dev/docs' into docs-build

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

Triggered via push December 9, 2025 18:36
Status Success
Total duration 50s
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:b64340858b0fa5f180fa652f2cf4a8da293a6cdc2a01b995baee1191f1ce4421