Skip to content

Merge pull request #1330 from rainlanguage/1133-move-gui-form-getters… #3216

Merge pull request #1330 from rainlanguage/1133-move-gui-form-getters…

Merge pull request #1330 from rainlanguage/1133-move-gui-form-getters… #3216

Triggered via push February 19, 2025 11:24
Status Success
Total duration 11m 45s
Artifacts

git-clean.yaml

on: push
Fit to window
Zoom out
Zoom in