Skip to content

Merge branch 'master' into gui_coding_copyedit #151

Merge branch 'master' into gui_coding_copyedit

Merge branch 'master' into gui_coding_copyedit #151

Triggered via push June 12, 2025 17:03
Status Success
Total duration 2m 38s
Artifacts 1
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
documentation
83.5 MB
sha256:ee14a0108350c0d5797525fbc4bfd2e0e0ccefcdb3fbfed1734a6a94567c6451