Skip to content

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

Merge branch 'dev/docs' into docs-build

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

Triggered via push December 9, 2025 23:03
Status Success
Total duration 37s
Artifacts 1

docs.yml

on: push
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
883 KB
sha256:86ef6694b06ae00eed96cddc6e359f3fbaf46b4b15009baed62bde72f59b1705