Skip to content

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

Merge branch 'dev/docs' into docs-build

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

Triggered via push December 8, 2025 17:32
Status Success
Total duration 1m 10s
Artifacts 1

docs.yml

on: push
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
878 KB
sha256:9add904bdee82527dd7e0e650420aecd8d277b3eae087bec99bb1f513175f1b3