Started 2 mo 15 days ago
Took 5.9 sec on master

Success Build org.overture.ide.vdmsl.ui (Aug 14, 2020 9:09:54 AM)

No changes.
Task Scanner: 5 open tasks in 12 workspace files.