Started 9 days 10 hr ago
Took 4.7 sec on master

Success Build #229 (Feb 12, 2020 7:04:40 PM)

Build Artifacts
org.overture.ide.parsers.vdmj-2.7.3-SNAPSHOT-p2artifacts.xml594 B view
org.overture.ide.parsers.vdmj-2.7.3-SNAPSHOT-p2metadata.xml1.80 KB view
org.overture.ide.parsers.vdmj-2.7.3-SNAPSHOT.jar13.50 KB view
org.overture.ide.parsers.vdmj-2.7.3-SNAPSHOT.pom651 B view
Changes
  1. Fix #ifdef processing and move to properties, fixes #710 (commit: 3ce9276) (details)
Task Scanner: 0 open tasks in 5 workspace files.
  • No warnings since build 23.
  • New zero warnings highscore: no warnings for 1,452 days!