Skip to content

Merge branch 'main' into improved-gui #36

Merge branch 'main' into improved-gui

Merge branch 'main' into improved-gui #36

Triggered via push January 16, 2025 13:27
Status Success
Total duration 2m 19s
Artifacts

scala.yml

on: push
Fit to window
Zoom out
Zoom in