Started 3 yr 3 mo ago
Took 5.6 sec
on master
Build Overture VDM 2 C Translator Root
(Nov 27, 2017 7:17:40 PM)
![]() | Build Artifacts
| ||||
![]() | No changes. | ||||
![]() | Task Scanner: 0 open tasks in 1 workspace file.
|