Started 5 mo 25 days ago
Took 5 sec on master

Success Build The VDM Pretty Printer (Sep 8, 2020 3:59:35 PM)

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