Started 8 mo 27 days ago
Took 29 min

Success Build #141 (Oct 17, 2019 12:04:19 PM)

Build Artifacts
Changes
  1. Add Overture 2.7.2 release notes (details / githubweb)
  2. Prepare release of version 2.7.2 (details / githubweb)
  3. [maven-release-plugin] prepare release Release/2.7.2 (details / githubweb)
  4. [maven-release-plugin] prepare for next development iteration (details / githubweb)
  5. Fix bug with import type mismatch with export (details / githubweb)
  6. Corrected retrieval of nat values to allow 0 (details / githubweb)
  7. Suppress details as well as messages in VDMError when suspended (details / githubweb)
  8. Fix min_/max_ functions, fixes #706 (details / githubweb)

Push event to branch pvj/main at 12:04:10 on 17-Oct-2019

Revision: c354db831f18c5e7368563bba4e85866232b541f
  • pvj/main
Jacoco - Overall Coverage Summary
INSTRUCTION37%
BRANCH27%
COMPLEXITY29%
LINE38%
METHOD39%
CLASS57%
Test Result (no failures)
    Jacoco - Overall Coverage Summary
    INSTRUCTION56%
    BRANCH44%
    COMPLEXITY44%
    LINE54%
    METHOD54%
    CLASS78%
    Jacoco - Overall Coverage Summary
    INSTRUCTION37%
    BRANCH27%
    COMPLEXITY29%
    LINE38%
    METHOD39%
    CLASS57%
    Task Scanner: 224 open tasks in 1,021 workspace files.
    Jacoco - Overall Coverage Summary
    INSTRUCTION56%
    BRANCH44%
    COMPLEXITY44%
    LINE54%
    METHOD54%
    CLASS78%
    Task Scanner: 471 open tasks in 3,517 workspace files.
    Jacoco - Overall Coverage Summary
    INSTRUCTION37%
    BRANCH27%
    COMPLEXITY29%
    LINE38%
    METHOD39%
    CLASS57%
    Task Scanner: 423 open tasks in 1,716 workspace files.