Started 2 yr 2 mo ago
Took 44 sec
on master
Build The VDM Type Checker
(Nov 10, 2020 9:58:28 AM)
![]() | No changes. Changes in dependency |
![]() | Task Scanner: 61 open tasks in 150 workspace files. |
![]() | Test Result (no failures) |