Started 2 yr 8 mo ago
Took 26 sec on master

Aborted Build #185 (Nov 29, 2017 10:53:05 AM)

Changes
  1. Handle vdm2c build jobs in Jenkinsfile (details / githubweb)

Started by GitHub push by peterwvj

Revision: 2f2a9642b0c0d18033005a780373b9405ff1f9a9
  • refs/remotes/origin/pvj/development

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

Module Builds

Not built C native root vdm2c0 ms
Not built Core Tools for vdm2c1 ms
Not built Overture FMI IDE Top-level1 ms
Not built Overture VDM 2 C Translator Root8 ms
Not built The C Code Generator VDM library sources0 ms
Not built The C Code Generator VDM distribution library sources1 ms
Not built The C Code Generator0 ms
Not built The C Code Generator Plugin1 ms
Not built Overture IDE Eclipse VDM2C features0 ms
Not built Overture IDE Eclipse repository1 ms
Not built Overture IDE Eclipse C Code Generator feature13 ms