Skip to content

Merge branch 'dev'

Merge branch 'dev' #28

Triggered via push July 14, 2025 18:40
Status Success
Total duration 1m 2s
Artifacts 1

doc-site.yml

on: push
publish-docs
55s
publish-docs
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
6.36 MB
sha256:30c0f13e9d0c66f8cdbfeecea97cdd644d3f4a9cf523d6754fe13b21ca6aaa1d