Started 17 hr ago
Took 5.3 sec on master

Success Build #250 (Aug 5, 2020 10:52:55 AM)

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.50 KB view
org.overture.ide.parsers.vdmj-2.7.5-SNAPSHOT.pom651 B view
Changes
  1. Accomodates suggested problem resolution (commit: 8fd05a4) (details)
Task Scanner: 0 open tasks in 5 workspace files.
  • No warnings since build 23.
  • New zero warnings highscore: no warnings for 1,627 days!