Started 8 mo 21 days ago
Took 10 sec on master

Success Build #225 (Oct 16, 2019 12:45:11 PM)

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