dump workspace
Passed
Andreas Bolin
created pipeline for commit
032d62cc
, finished
1 related merge request: !78 Add scheduler GUI
1 minute 49 seconds, queued for 4 seconds