Skip to content

Merge commit from fork #1473

Merge commit from fork

Merge commit from fork #1473

Triggered via push June 30, 2026 10:49
Status Success
Total duration 2m 9s
Artifacts 1
Deploy to gh-pages
2m 4s
Deploy to gh-pages
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
HTML Documentation
10.8 MB
sha256:27422619cfba58a63c8e853dafd193787a9e3b05f9144a1352829b85e826b087