Started 1 mo 28 days ago
Took 21 min

Success Build #171 (Feb 23, 2021 2:43:46 PM)

Build Artifacts
Changes
  1. Small correction: type invariants don't have free variables set (details / githubweb)

Push event to branch ncb/development at 14:43:40 on 23-Feb-2021

Revision: 75f348c3f576a5e7f85221e1b27ba45df36ae70d
  • ncb/development
Jacoco - Overall Coverage Summary
INSTRUCTION37%
BRANCH28%
COMPLEXITY29%
LINE38%
METHOD40%
CLASS57%
Test Result (no failures)
    Jacoco - Overall Coverage Summary
    INSTRUCTION56%
    BRANCH45%
    COMPLEXITY44%
    LINE54%
    METHOD54%
    CLASS78%
    Jacoco - Overall Coverage Summary
    INSTRUCTION37%
    BRANCH28%
    COMPLEXITY29%
    LINE38%
    METHOD40%
    CLASS57%
    Task Scanner: 217 open tasks in 1,026 workspace files.
    Jacoco - Overall Coverage Summary
    INSTRUCTION56%
    BRANCH45%
    COMPLEXITY44%
    LINE54%
    METHOD54%
    CLASS78%
    Task Scanner: 465 open tasks in 3,513 workspace files.
    Jacoco - Overall Coverage Summary
    INSTRUCTION37%
    BRANCH28%
    COMPLEXITY29%
    LINE38%
    METHOD40%
    CLASS57%
    Task Scanner: 417 open tasks in 1,722 workspace files.