Started 3 yr 7 mo ago
Took 3.9 sec on master

Success Build Overture IDE Eclipse graphics core feature (Feb 6, 2017 10:00:01 AM)

Build Artifacts
org.overturetool.graphics.ide.features.overturegraphics-1.1.2-p2artifacts.xml710 B view
org.overturetool.graphics.ide.features.overturegraphics-1.1.2-p2metadata.xml7.53 KB view
org.overturetool.graphics.ide.features.overturegraphics-1.1.2.jar1.93 KB view
org.overturetool.graphics.ide.features.overturegraphics-1.1.2.pom652 B view
No changes. Changes in dependency
  1. org.overturetool.ide.overturegraphics.macosx.x86_64 Success#4Success#5 (detail)
  2. The VDM Interpreter  ? → (detail)
  3. The VDM parser  ? → (detail)
  4. org.overturetool.ide.overturegraphics.linux.x86_64 Success#4Success#5 (detail)
  5. The VDM Type Checker  ? → (detail)
  6. org.overturetool.ide.overturegraphics.win32.win32 Success#4Success#5 (detail)
  7. Overture Graphics Plugin Success#4Success#5 (detail)
  8. The Overture Abstract Syntax Tree  ? → (detail)
  9. org.overturetool.ide.overturegraphics.win32.win64 Success#4Success#5 (detail)
  10. The Proof Obligation Generator  ? → (detail)