Started 7 mo 18 days ago
Took 13 sec
on master
Build The VDM to Isabelle Translator
(Aug 28, 2020 11:12:19 AM)
![]() | No changes.
Changes in dependency
|
![]() | Task Scanner: 3 open tasks in 16 workspace files. |
![]() | Test Result (no failures) |