Skip to content

Merge commit from fork #1347

Merge commit from fork

Merge commit from fork #1347

Triggered via push July 26, 2025 12:20
Status Success
Total duration 1m 58s
Artifacts 1
Deploy to gh-pages
1m 52s
Deploy to gh-pages
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
HTML Documentation Expired
6.01 MB
sha256:0c1b3a5c64e1573e494137c68b4cdf933f6f953684fc812cc0871a43f2f47519