Started 18 hr ago
Took 5.3 sec on master

Success Build #252 (Aug 7, 2020 2:31:20 PM)

Build Artifacts
prettyprinter-3.0.0-SNAPSHOT-javadoc.jar47.82 KB view
prettyprinter-3.0.0-SNAPSHOT.jar11.97 KB view
prettyprinter-3.0.0-SNAPSHOT.pom1.12 KB view
Changes
  1. Bump version number (commit: 185e89d) (details)
Changes in dependency
  1. Core Tools Success#234Success#252 (detail)
  2. The Overture Abstract Syntax Tree Success#251Success#252 (detail)
  3. VDM Pretty Printing Success#234Success#252 (detail)
  4. The Overture Tool Platform root Success#234Success#252 (detail)
Task Scanner: 6 open tasks in 4 workspace files.