Started 2 yr 3 mo ago
Took 4.9 sec
on master
Build org.overture.ide.vdmrt.core
(Oct 30, 2020 5:22:11 PM)
![]() | No changes. |
![]() | Task Scanner: 2 open tasks in 3 workspace files. |