[Jenkins]Jenkins
Started 3 yr 2 mo ago
Took 10 sec on master

Aborted Build #186 (Nov 29, 2017 11:23:48 AM)

Changes
  1. Fix deployment, skip tests temporarily (details / githubweb)

Started by GitHub push by peterwvj

Revision: b6f8332072f80b450c685a24bda99cb7a673e2fc
  • refs/remotes/origin/pvj/development

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

Module Builds

Not built C native root vdm2c1 ms
Not built Core Tools for vdm2c1 ms
Not built Overture FMI IDE Top-level0 ms
Not built Overture VDM 2 C Translator Root1 ms
Not built The C Code Generator VDM library sources1 ms
Not built The C Code Generator VDM distribution library sources1 ms
Not built The C Code Generator1 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 feature2 ms