Started 7 mo 18 days ago
Took 1 ms on master

Aborted Build The VDM parser (Aug 28, 2020 10:31:33 AM)

No changes.
Task Scanner: 2 open tasks in 49 workspace files.
    Test Result (no failures)