Started 10 days ago
Took 4.8 sec on master

Success Build #241 (May 15, 2020 10:01:08 PM)

Build Artifacts
org.overture.ide.parsers.vdmj-2.7.5-SNAPSHOT-p2artifacts.xml594 B view
org.overture.ide.parsers.vdmj-2.7.5-SNAPSHOT-p2metadata.xml1.80 KB view
org.overture.ide.parsers.vdmj-2.7.5-SNAPSHOT.jar13.49 KB view
org.overture.ide.parsers.vdmj-2.7.5-SNAPSHOT.pom651 B view
No changes.
Task Scanner: 0 open tasks in 5 workspace files.
  • No warnings since build 23.
  • New zero warnings highscore: no warnings for 1,546 days!