Started 5 yr 2 mo ago
Took 8.9 sec
on master
Build Overture VDM 2 C Translator Root
(Nov 28, 2017 2:19:18 PM)
![]() | Build Artifacts
| ||||
![]() | No changes. | ||||
![]() | Task Scanner: 0 open tasks in 1 workspace file.
|