Started 4 yr 0 mo ago
Took 8 ms on master

Not built Build Overture VDM 2 C Translator Root (Nov 29, 2017 10:53:09 AM)

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