Started 7 mo 21 days ago
Took 41 sec on master

Success Build #226 (Oct 16, 2019 1:37:29 PM)

Changes
  1. Fix bug with import type mismatch with export (commit: 03c6582) (details)
  2. Suppress details as well as messages in VDMError when suspended (commit: b652fba) (details)
Task Scanner: 68 open tasks in 146 workspace files.
Test Result (no failures)