Started 1 mo 15 days ago
Took 12 sec on master

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

No changes. Changes in dependency
  1. The VDM parser  ? → (detail)
  2. The Overture Abstract Syntax Tree Success#200Success#250 (detail)
  3. The Overture Tool Platform root  ? → (detail)
  4. Core Tools  ? → (detail)
  5. Test Framework for Overture Success#200Success#250 (detail)
Task Scanner: 2 open tasks in 49 workspace files.
    Test Result (no failures)