[Jenkins]Jenkins
Started 5 yr 11 mo ago
Took 24 min on master

Success Build #35 (Feb 6, 2017 9:55:19 AM)

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

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

Revision: 1ff2d86f92913b9dd7e1c9935f8637698e97423b
  • refs/remotes/origin/development

Module Builds

Success Overture Graphics value interpreter with JSON10 sec
Success Core graphics Tools1.1 sec
Success Overture Graphics IDE Top-level0.72 sec
Success Overture Graphics Root Pom1.5 sec
Success Overture IDE Eclipse graphics features0.38 sec
Success Overture IDE Eclipse graphics core feature3.5 sec
Success Overture Graphics IDE Eclipse repository1 min 44 sec
Success Overture Graphics0.37 sec
Success org.overturetool.ide.overturegraphics.linux.x86_641 min 10 sec
Success org.overturetool.ide.overturegraphics.macosx.x86_642 min 4 sec
Success org.overturetool.ide.overturegraphics.win32.win321 min 2 sec
Success org.overturetool.ide.overturegraphics.win32.win641 min 20 sec
Success Overture Graphics Plugin5.9 sec