Started 3 yr 6 mo ago
Took 1 min 12 sec on master

Success Build Overture Graphics IDE Eclipse repository (Feb 6, 2017 10:00:01 AM)

Build Artifacts
org.overturetool.graphics.ide.repository-1.1.2-p2artifacts.xml100 B view
org.overturetool.graphics.ide.repository-1.1.2-p2metadata.xml1.01 KB view
org.overturetool.graphics.ide.repository-1.1.2.pom1002 B view
org.overturetool.graphics.ide.repository-1.1.2.zip389.62 MB view
No changes. Changes in dependency
  1. org.overturetool.ide.overturegraphics.linux.x86_64 Success#4Success#5 (detail)
  2. Overture IDE Eclipse graphics core feature Success#4Success#5 (detail)
  3. org.overturetool.ide.overturegraphics.win32.win32 Success#4Success#5 (detail)
  4. org.overturetool.ide.overturegraphics.win32.win64 Success#4Success#5 (detail)
  5. The Overture Abstract Syntax Tree  ? → (detail)
  6. The VDM Type Checker  ? → (detail)
  7. The Proof Obligation Generator  ? → (detail)
  8. The VDM parser  ? → (detail)
  9. The VDM Interpreter  ? → (detail)
  10. org.overturetool.ide.overturegraphics.macosx.x86_64 Success#4Success#5 (detail)
  11. Overture Graphics Plugin Success#4Success#5 (detail)