Started 18 days ago
Took 5.3 sec on master

Success Build org.overture.ide.builders.vdmj (Sep 10, 2020 9:45:42 AM)

Build Artifacts
org.overture.ide.builders.vdmj-3.0.1-SNAPSHOT-p2artifacts.xml601 B view
org.overture.ide.builders.vdmj-3.0.1-SNAPSHOT-p2metadata.xml3.31 KB view
org.overture.ide.builders.vdmj-3.0.1-SNAPSHOT.jar444.95 KB view
org.overture.ide.builders.vdmj-3.0.1-SNAPSHOT.pom2.83 KB view
Changes
  1. Adds use let def strict option to the project properties (commit: bca2a6a) (details)
Task Scanner: 2 open tasks in 7 workspace files.