Started 3 mo 14 days ago
Took 19 min

Success Build #146 (Aug 14, 2020 6:25:09 PM)

Build Artifacts
Changes
  1. Brings the VDM console of a launch to the front of the view (details / githubweb)
  2. Adds support for DBGP messages and Rmoves dead code (details / githubweb)
  3. Checks whether the DBGP response has a value to print (details / githubweb)

Push event to branch ncb/development at 18:25:02 on 14-Aug-2020

Revision: 926d92cd3ce0f1fe3079ec16054b559c96dfe214
  • ncb/development
Jacoco - Overall Coverage Summary
INSTRUCTION37%
BRANCH28%
COMPLEXITY29%
LINE38%
METHOD40%
CLASS57%
Test Result (no failures)
    Jacoco - Overall Coverage Summary
    INSTRUCTION56%
    BRANCH45%
    COMPLEXITY44%
    LINE55%
    METHOD54%
    CLASS78%
    Jacoco - Overall Coverage Summary
    INSTRUCTION37%
    BRANCH28%
    COMPLEXITY29%
    LINE38%
    METHOD40%
    CLASS57%
    Task Scanner: 218 open tasks in 1,025 workspace files.
    Jacoco - Overall Coverage Summary
    INSTRUCTION56%
    BRANCH45%
    COMPLEXITY44%
    LINE55%
    METHOD54%
    CLASS78%
    Task Scanner: 465 open tasks in 3,512 workspace files.
    Jacoco - Overall Coverage Summary
    INSTRUCTION37%
    BRANCH28%
    COMPLEXITY29%
    LINE38%
    METHOD40%
    CLASS57%
    Task Scanner: 417 open tasks in 1,721 workspace files.