Skip to content

Renames hyperlink and menu entry. #538

Renames hyperlink and menu entry.

Renames hyperlink and menu entry. #538

Triggered via push April 12, 2024 16:22
Status Success
Total duration 38s
Artifacts 1
Build Documentation
30s
Build Documentation
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
documentation
3.89 MB