Skip to content

Merge commit from fork #1475

Merge commit from fork

Merge commit from fork #1475

Triggered via push June 30, 2026 11:04
Status Success
Total duration 3m 31s
Artifacts 1
Deploy to gh-pages
2m 5s
Deploy to gh-pages
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
HTML Documentation
10.8 MB
sha256:4f94bdc224e37420498331a9ffa926a6215e4a5bbc3e5b91e4c213639938aca8