Started 3 yr 7 mo ago
Took 1 min 10 sec on master

Success Build #35 (Feb 6, 2017 10:10:25 AM)

Build Artifacts
org.overturetool.ide.overturegraphics.linux.x86_64-1.1.3-SNAPSHOT-p2artifacts.xml645 B view
org.overturetool.ide.overturegraphics.linux.x86_64-1.1.3-SNAPSHOT-p2metadata.xml2.01 KB view
org.overturetool.ide.overturegraphics.linux.x86_64-1.1.3-SNAPSHOT.jar70.81 MB view
org.overturetool.ide.overturegraphics.linux.x86_64-1.1.3-SNAPSHOT.pom1.42 KB view
No changes. Changes in dependency
  1. The VDM Interpreter  ? → (detail)
  2. The VDM parser  ? → (detail)
  3. The VDM Type Checker  ? → (detail)
  4. The Overture Abstract Syntax Tree  ? → (detail)
  5. The Proof Obligation Generator  ? → (detail)