Skip to content

Merge pull request #1380 from rainlanguage/2025-02-24-gui-defaults #2169

Merge pull request #1380 from rainlanguage/2025-02-24-gui-defaults

Merge pull request #1380 from rainlanguage/2025-02-24-gui-defaults #2169

Triggered via push February 24, 2025 22:38
Status Success
Total duration 18m 29s
Artifacts
Fit to window
Zoom out
Zoom in