[Jenkins]Jenkins
Started 2 yr 4 mo ago
Took 7.3 sec on master

Success Build #200 (Sep 6, 2019 2:49:18 PM)

Build Artifacts
org.overture.ide.ui-2.6.5-SNAPSHOT-p2artifacts.xml570 B view
org.overture.ide.ui-2.6.5-SNAPSHOT-p2metadata.xml4.08 KB view
org.overture.ide.ui-2.6.5-SNAPSHOT.jar635.44 KB view
org.overture.ide.ui-2.6.5-SNAPSHOT.pom1.38 KB view
No changes. Changes in dependency
  1. org.overture.ide.builders.vdmj Success#199 → Success#200 (detail)
  2. org.overture.ide.core Success#199 → Success#200 (detail)
Task Scanner: 28 open tasks in 117 workspace files.