Skip to content

Merge pull request #37 from andreped/gui #30

Merge pull request #37 from andreped/gui

Merge pull request #37 from andreped/gui #30

Triggered via push October 31, 2023 11:42
Status Success
Total duration 13s
Artifacts

deploy.yml

on: push
sync-to-hub
5s
sync-to-hub
Fit to window
Zoom out
Zoom in