Started 1 mo 27 days ago
Took 47 sec on master

Unstable Build #250 (Aug 5, 2020 10:52:54 AM)

No changes. Changes in dependency
  1. The VDM parser Success#200Success#250 (detail)
  2. The Overture Abstract Syntax Tree Success#200Success#250 (detail)
  3. The Overture Tool Platform root  ? → (detail)
  4. The VDM Type Checker  ? → (detail)
  5. Core Tools  ? → (detail)
  6. Test Framework for Overture Success#200Success#250 (detail)
Task Scanner: 62 open tasks in 150 workspace files.
    Test Result (4 failures / +4)Show all failed tests >>>