Started 1 yr 8 mo ago
Took 23 min

Failed Build #162 (Sep 17, 2020 3:47:28 PM)

Build Artifacts
c-0.2.3-SNAPSHOT.pom1.56 KB view
vdmclib-0.2.3-SNAPSHOT.jar107.38 KB view
vdmclib-0.2.3-SNAPSHOT.pom1.71 KB view
vdmclibdist-0.2.3-SNAPSHOT.jar43.14 KB view
vdmclibdist-0.2.3-SNAPSHOT.pom1.73 KB view
core-0.2.3-SNAPSHOT.pom949 B view
vdm2c-0.2.3-SNAPSHOT.pom5.62 KB view
ide-0.2.3-SNAPSHOT.pom9.49 KB view
org.overturetool.vdm2c.ide.features.cgen-0.2.3-SNAPSHOT.pom704 B view
org.overturetool.vdm2c.ide.cgen-0.2.3-SNAPSHOT.pom5.21 KB view
org.overturetool.vdm2c.ide.features-0.2.3-SNAPSHOT.pom687 B view
org.overturetool.vdm2c.ide.repository-0.2.3-SNAPSHOT.pom993 B view
root-0.2.3-SNAPSHOT.pom11.69 KB view
Changes
  1. Updated module paths and overture version (details / githubweb)

Push event to branch development at 15:47:21 on 17-Sep-2020

Revision: 146967ed03efe2ebf179d5451db705c5217411ea
  • development
Jacoco - Overall Coverage Summary
INSTRUCTION66%
BRANCH45%
COMPLEXITY40%
LINE64%
METHOD58%
CLASS88%
Test Result (5 failures / +5)
Jacoco - Overall Coverage Summary
INSTRUCTION66%
BRANCH45%
COMPLEXITY40%
LINE64%
METHOD58%
CLASS88%
Task Scanner: 27 open tasks in 108 workspace files.