Started 1 yr 4 mo ago
Took 4.8 sec on master

Success Build org.overture.ide.vdmsl.core (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 3 workspace files.