Skip to content

Merge pull request #1361 from rainlanguage/2025-02-19-gui-state-update #2125

Merge pull request #1361 from rainlanguage/2025-02-19-gui-state-update

Merge pull request #1361 from rainlanguage/2025-02-19-gui-state-update #2125

Triggered via push February 20, 2025 11:25
Status Success
Total duration 23m 17s
Artifacts
Fit to window
Zoom out
Zoom in