Started 2 yr 12 mo ago
Took 22 sec on master

Aborted Build #463 (Nov 29, 2017 1:22:35 PM)

Changes
  1. Distributed code-generator fix (commit: cbb0cb2) (details / githubweb)
  2. Handle vdm2c build jobs in Jenkinsfile (commit: 2f2a964) (details / githubweb)
  3. Fix deployment, skip tests temporarily (commit: b6f8332) (details / githubweb)
  4. Re-enable testing in Jenkinsfile (commit: 539b001) (details / githubweb)

Started by GitHub push by peterwvj

Revision: 79194af1dc3b8c5abc99874f75f7aa484ad5b86e
  • refs/remotes/origin/development

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

Module Builds

 The C Code Generator (didn’t run)
Not built C native root vdm2c1 ms
Not built Core Tools for vdm2c1 ms
Not built Overture FMI IDE Top-level1 ms
Not built Overture VDM 2 C Translator Root2 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 Generator1 ms
Not built The C Code Generator Plugin0 ms
Not built Overture IDE Eclipse VDM2C features0 ms
Not built Overture IDE Eclipse repository0 ms
Not built Overture IDE Eclipse C Code Generator feature0 ms