Skip to content

Merge branch 'dev' for v3.1.0 release #77

Merge branch 'dev' for v3.1.0 release

Merge branch 'dev' for v3.1.0 release #77

Triggered via push June 10, 2026 19:42
Status Success
Total duration 1m 51s
Artifacts 1

deploy-docs.yml

on: push
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
15.9 MB
sha256:8d16287a21ffbe821a38a54551949c8eb0e6539d47a1c50bda5324842e32c12b