Skip to content

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

Merge branch 'dev/docs' into docs-build

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

Triggered via push December 10, 2025 17:33
Status Success
Total duration 43s
Artifacts 1

docs.yml

on: push
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
1.13 MB
sha256:634bfd12aa50ffed44828b5a8116ebbf3805fe48e5e7b8c6956933fbad7fefed