[Jenkins]Jenkins
Started 2 yr 7 mo ago
Took 5 min 11 sec on master

Aborted Build #187 (Nov 29, 2017 11:37:21 AM)

Changes
  1. Re-enable testing in Jenkinsfile (details / githubweb)

Started by GitHub push by peterwvj

Revision: 539b001a1ac9ff2f4e7fdb573f9b4ff758ece619
  • refs/remotes/origin/pvj/development
Task Scanner: 0 open tasks in 1 workspace file.

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

Module Builds

Success C native root vdm2c3.1 sec
Success Core Tools for vdm2c2.3 sec
Not built Overture FMI IDE Top-level1 ms
Success Overture VDM 2 C Translator Root7.2 sec
Success The C Code Generator VDM library sources22 sec
Success The C Code Generator VDM distribution library sources4.1 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