Started 1 yr 9 mo ago
Took 6.4 sec on master

Success Build org.overture.ide.vdmsl.debug (Aug 31, 2020 2:47:16 PM)

No changes. Changes in dependency
  1. Overture IDE Top-level Success#269Success#271 (detail)
Task Scanner: 2 open tasks in 6 workspace files.