Started 2 yr 0 mo ago
Took 4.5 sec on master

Success Build org.overture.ide.vdmpp.core (Nov 11, 2020 4:02:26 PM)

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