Started 3 mo 12 days ago
Took 1 ms on master

Not built Build org.overture.ide.vdmsl.debug (Feb 12, 2020 7:02:55 PM)

No changes.