Skip to content

Merge pull request #4064 from mkleinegger, pirgeo, arminru, and pichl… #4

Merge pull request #4064 from mkleinegger, pirgeo, arminru, and pichl…

Merge pull request #4064 from mkleinegger, pirgeo, arminru, and pichl… #4

Triggered via push September 20, 2023 20:31
Status Success
Total duration 18s
Artifacts
Validation
8s
Validation
Fit to window
Zoom out
Zoom in