Started 1 yr 3 mo ago
Took 13 min

Success Build #10 (Nov 22, 2018 1:13:34 PM)

Build Artifacts
Expand all Collapse all
Changes
  1. [maven-release-plugin] prepare for next development iteration (details / githubweb)
  2. Remove build status icon (details / githubweb)
  3. Update to Overture 2.6.4 and Eclipse Oxygen (details / githubweb)
  4. Add VDM2C 0.2.2 release notes (details / githubweb)
  5. Prepare release of VDM2C 0.2.2 (details / githubweb)
  6. [maven-release-plugin] prepare release Release/0.2.2 (details / githubweb)

Push event to branch master at 13:13:28 on 22-Nov-2018

Revision: 09566e33c2d98a6f97f3cb0ab140946f79019b8e
  • master
Task Scanner: 29 open tasks in 119 workspace files.
    Task Scanner: 27 open tasks in 108 workspace files.
    Test Result (no failures)
      Jacoco - Overall Coverage Summary
      INSTRUCTION66%
      BRANCH45%
      COMPLEXITY40%
      LINE64%
      METHOD58%
      CLASS88%
      Task Scanner: 29 open tasks in 179 workspace files.
        Task Scanner: 29 open tasks in 119 workspace files.