Started 1 day 11 hr ago
Took 10 sec on master

Success Build #252 (Aug 7, 2020 2:31:21 PM)

Build Artifacts
org.overture.ide.debug-3.0.0-SNAPSHOT-p2artifacts.xml578 B view
org.overture.ide.debug-3.0.0-SNAPSHOT-p2metadata.xml5.70 KB view
org.overture.ide.debug-3.0.0-SNAPSHOT.jar1.46 MB view
org.overture.ide.debug-3.0.0-SNAPSHOT.pom3.02 KB view
Changes
  1. Indents xml (commit: 7b53e3c) (details)
  2. Bump version number (commit: 185e89d) (details)
Changes in dependency
  1. Overture IDE Top-level Success#240Success#252 (detail)
  2. The Overture Tool Platform root Success#234Success#252 (detail)
Task Scanner: 73 open tasks in 285 workspace files.