Started 1 yr 10 mo ago
Took 12 sec
on master
Build The VDM to Isabelle Translator
(Mar 5, 2019 8:43:15 AM)
![]() | Build Artifacts
| ||||||||||||
![]() | No changes.
Changes in dependency
| ||||||||||||
![]() | Task Scanner: 3 open tasks in 16 workspace files. | ||||||||||||
![]() | Test Result (no failures) |