Started 6 mo 0 days ago
Took 7.1 sec on master

Success Build The VDM Pretty Printer (Nov 10, 2020 2:34:08 PM)

No changes. Changes in dependency
  1. The Overture Abstract Syntax Tree Success#282Success#283 (detail)
Task Scanner: 6 open tasks in 4 workspace files.