Started 4 yr 8 mo ago
Took 18 min

Success Build #7 (Sep 18, 2017 5:58:29 PM)

Build Artifacts
Expand all Collapse all
Changes
  1. [maven-release-plugin] prepare for next development iteration (details / githubweb)
  2. Require Overture 2.5.0 (details / githubweb)
  3. Require Overture 2.5.2 (details / githubweb)
  4. Add version 0.1.14 release notes (details / githubweb)
  5. Prepare release of VDM2C 0.1.14 (details / githubweb)
  6. [maven-release-plugin] prepare release Release/0.1.14 (details / githubweb)

Push event to branch master at 17:58:22 on 18-Sep-2017

Revision: 8a9a5d33a14e6aa25fd68bc3bcff3550e03bac0a
  • master
Task Scanner: 22 open tasks in 96 workspace files.
    Task Scanner: 20 open tasks in 85 workspace files.
    Test Result (no failures)
      Jacoco - Overall Coverage Summary
      INSTRUCTION63%
      BRANCH43%
      COMPLEXITY38%
      LINE60%
      METHOD57%
      CLASS87%
      Task Scanner: 22 open tasks in 147 workspace files.
        Task Scanner: 22 open tasks in 96 workspace files.