Started 2 yr 9 mo ago
Took 7.2 sec on master

Success Build Overture VDM 2 C Translator Root (Nov 29, 2017 11:37:24 AM)

Changes
  1. Re-enable testing in Jenkinsfile (details)
Task Scanner: 0 open tasks in 1 workspace file.
  • No warnings since build 1.
  • New zero warnings highscore: no warnings for 434 days!