Skip to content

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

Merge branch 'dev/docs' into docs-build

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

Triggered via push December 4, 2025 21:06
Status Success
Total duration 36s
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:3bd95ec8cdf13cc9e7cf95f389e86903c2eb7d5b7ea4858992b25a3a3e0c32dc