Started 2 yr 8 mo ago
Took 4 min 7 sec on master

Aborted Build #464 (Nov 30, 2017 9:40:57 AM)

Changes
  1. Format Jenkinsfile (commit: 26ee388) (details / githubweb)

Started by GitHub push by peterwvj

Revision: 26ee388368ad3b9b27cdb0908422be26d17c7e9e
  • refs/remotes/origin/development
Task Scanner: 0 open tasks in 1 workspace file.

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

Module Builds

 The C Code Generator (didn’t run)
Success C native root vdm2c3.4 sec
Success Core Tools for vdm2c1.7 sec
Not built Overture FMI IDE Top-level1 ms
Success Overture VDM 2 C Translator Root5.8 sec
Success The C Code Generator VDM library sources17 sec
Success The C Code Generator VDM distribution library sources4.7 sec
Aborted The C Code Generator0 ms
Not built The C Code Generator Plugin1 ms
Not built Overture IDE Eclipse VDM2C features1 ms
Not built Overture IDE Eclipse repository1 ms
Not built Overture IDE Eclipse C Code Generator feature0 ms