Started 3 yr 0 mo ago
Took 25 min on master

Success Build #5 (Feb 6, 2017 9:43:26 AM)

No changes. Changes in dependency
  1. The VDM Type Checker  ? → (detail)
  2. The Proof Obligation Generator  ? → (detail)
  3. The VDM parser  ? → (detail)
  4. The Overture Abstract Syntax Tree  ? → (detail)
  5. The VDM Interpreter  ? → (detail)

Started by user Peter W. V. Tran-Jørgensen

Revision: 87fddf768b882fa41c2dd76c30eb8e902f442eb2
  • refs/remotes/origin/master

Module Builds

Success Overture Graphics value interpreter with JSON10 sec
Success Core graphics Tools1.6 sec
Success Overture Graphics IDE Top-level0.94 sec
Success Overture Graphics Root Pom1.6 sec
Success Overture IDE Eclipse graphics features0.29 sec
Success Overture IDE Eclipse graphics core feature3.9 sec
Success Overture Graphics IDE Eclipse repository1 min 12 sec
Success Overture Graphics0.3 sec
Success org.overturetool.ide.overturegraphics.linux.x86_641 min 35 sec
Success org.overturetool.ide.overturegraphics.macosx.x86_641 min 32 sec
Success org.overturetool.ide.overturegraphics.win32.win3245 sec
Success org.overturetool.ide.overturegraphics.win32.win6432 sec
Success Overture Graphics Plugin5 sec