Started 2 yr 0 mo ago
Took 5.8 sec on master

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

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