Started 4 yr 7 mo ago
Took 15 min

Success Build #142 (Oct 5, 2017 10:47:25 AM)

Build Artifacts
Expand all Collapse all
Changes
  1. Add release notes for VDM2C version 0.1.16 (details / githubweb)
  2. Prepare release of VDM2C version 0.1.16 (details / githubweb)

Push event to branch development at 10:47:19 on 05-Oct-2017

Revision: 07a380b77337142f4c4606d47eff156b8ac1defd
  • development
Task Scanner: 28 open tasks in 107 workspace files.
    Task Scanner: 26 open tasks in 96 workspace files.
    Test Result (no failures)
      Jacoco - Overall Coverage Summary
      INSTRUCTION64%
      BRANCH44%
      COMPLEXITY39%
      LINE62%
      METHOD57%
      CLASS87%
      Task Scanner: 28 open tasks in 162 workspace files.
        Task Scanner: 28 open tasks in 107 workspace files.