Started 4 yr 4 mo ago
Took 20 min

Success Build #40 (Sep 22, 2017 11:16:15 AM)

Build Artifacts
Expand all Collapse all
Changes
  1. Add VDM2C 0.1.12 release notes (details / githubweb)
  2. Prepare release of VDM2C 0.1.12 (details / githubweb)
  3. [maven-release-plugin] prepare release Release/0.1.12 (details / githubweb)
  4. [maven-release-plugin] prepare for next development iteration (details / githubweb)
  5. Require Overture 2.5.0 (details / githubweb)
  6. Require Overture 2.5.2 (details / githubweb)
  7. Add version 0.1.14 release notes (details / githubweb)
  8. Prepare release of VDM2C 0.1.14 (details / githubweb)
  9. [maven-release-plugin] prepare release Release/0.1.14 (details / githubweb)
  10. [maven-release-plugin] prepare for next development iteration (details / githubweb)
  11. WIP renaming VDM MATH library. (details / githubweb)

Push event to branch vpb/development at 11:16:08 on 22-Sep-2017

Revision: 31dc1ac7008970d86088048d0a5c46ffdefebf7d
  • vpb/development
Task Scanner: 23 open tasks in 97 workspace files.
Task Scanner: 21 open tasks in 86 workspace files.
Test Result (no failures)
    Jacoco - Overall Coverage Summary
    INSTRUCTION63%
    BRANCH43%
    COMPLEXITY38%
    LINE60%
    METHOD56%
    CLASS86%
    Task Scanner: 23 open tasks in 148 workspace files.
    Task Scanner: 23 open tasks in 97 workspace files.