Started 3 mo 13 days ago
Took 7.9 sec on master

Success Build #262 (Aug 18, 2020 8:08:12 PM)

Changes
  1. Bump examples changes (commit: 509904f) (details)
Changes in dependency
  1. Overture External Resources  ? → (detail)
  2. The Overture Tool Platform root  ? → (detail)
Task Scanner: 1 open task in 59 workspace files.