Started 1 yr 9 mo ago
Took 31 sec on master

Success Build The VDM to JML Generator (Mar 3, 2019 6:05:43 PM)

Build Artifacts
vdm2jml-2.6.5-SNAPSHOT-javadoc.jar298.79 KB view
vdm2jml-2.6.5-SNAPSHOT.jar96.27 KB view
vdm2jml-2.6.5-SNAPSHOT.pom6.10 KB view
No changes.
Task Scanner: 6 open tasks in 229 workspace files.
    Test Result (no failures)