Started 2 yr 8 mo ago
Took 14 min

Success Build #26 (Jun 25, 2017 6:46:41 PM)

Build Artifacts
Changes
  1. Revert "Add eq and ord relations to type defs" (details / githubweb)

Push event to branch eq-ord at 18:46:35 on 25-Jun-2017

Revision: e52f643de4a711770abcfc5e2a06954680263436
  • eq-ord
Task Scanner: 413 open tasks in 1,680 workspace files.
    Task Scanner: 215 open tasks in 985 workspace files.
    Test Result (no failures)
      Jacoco - Overall Coverage Summary
      INSTRUCTION55%
      BRANCH44%
      COMPLEXITY44%
      LINE54%
      METHOD54%
      CLASS78%
      Task Scanner: 460 open tasks in 3,385 workspace files.
      Task Scanner: 215 open tasks in 985 workspace files.
      Jacoco - Overall Coverage Summary
      INSTRUCTION55%
      BRANCH44%
      COMPLEXITY44%
      LINE54%
      METHOD54%
      CLASS78%
      Task Scanner: 461 open tasks in 3,460 workspace files.
      Task Scanner: 413 open tasks in 1,680 workspace files.