Started 1 mo 12 days ago
Took 46 sec on master

Success Build #272 (Sep 8, 2020 3:48:49 PM)

Changes
  1. Prevent looping type resolution, fixes #735 (commit: b576a75) (details)
  2. Better approach to recursive type resolution errors, fixes #735 (commit: 05d176e) (details)
  3. Put let RHS functional checks within -strict flag (commit: 8791e1f) (details)
Changes in dependency
  1. The VDM parser Success#271Success#272 (detail)
  2. Test Framework for Overture Success#271Success#272 (detail)
  3. The Overture Abstract Syntax Tree Success#271Success#272 (detail)
Task Scanner: 61 open tasks in 150 workspace files.
Test Result (no failures)