Started 16 days ago
Took 5.8 sec on master

Success Build Overture IDE Eclipse Proof Obligation Viewer feature (Oct 6, 2020 3:19:44 PM)

Build Artifacts
org.overture.ide.plugins.features.poviewer-3.0.1-SNAPSHOT-p2artifacts.xml714 B view
org.overture.ide.plugins.features.poviewer-3.0.1-SNAPSHOT-p2metadata.xml6.54 KB view
org.overture.ide.plugins.features.poviewer-3.0.1-SNAPSHOT.jar6.33 KB view
org.overture.ide.plugins.features.poviewer-3.0.1-SNAPSHOT.pom718 B view
No changes.
Task Scanner: 0 open tasks in 1 workspace file.
  • No warnings since build 23.
  • New zero warnings highscore: no warnings for 1,689 days!