Started 1 yr 4 mo ago
Took 6 sec on master

Success Build org.overture.ide.vdmpp.ui (Aug 31, 2020 2:47:17 PM)

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