[Jenkins]Jenkins
Started 4 yr 3 mo ago
Took 5 min 5 sec

Failed Build #9 (Feb 12, 2018 10:16:48 PM)

Build Artifacts
c-0.1.17-SNAPSHOT.pom1.56 KB view
vdmclib-0.1.17-SNAPSHOT.pom1.71 KB view
vdmclibdist-0.1.17-SNAPSHOT.pom1.73 KB view
core-0.1.17-SNAPSHOT.pom950 B view
vdm2c-0.1.17-SNAPSHOT.pom5.62 KB view
ide-0.1.17-SNAPSHOT.pom9.49 KB view
org.overturetool.vdm2c.ide.features.cgen-0.1.17-SNAPSHOT.pom705 B view
org.overturetool.vdm2c.ide.cgen-0.1.17-SNAPSHOT.pom5.21 KB view
org.overturetool.vdm2c.ide.features-0.1.17-SNAPSHOT.pom688 B view
org.overturetool.vdm2c.ide.repository-0.1.17-SNAPSHOT.pom994 B view
root-0.1.17-SNAPSHOT.pom11.69 KB view
Changes
  1. -  Committing omitted header file. -  Addresses #126. (details / githubweb)

Push event to branch pvj/issue-125 at 22:16:42 on 12-Feb-2018

Revision: b81cce8059ce38bfd412584eb2147f7a2da82c9c
  • pvj/issue-125
Task Scanner: 29 open tasks in 119 workspace files.
    Task Scanner: 27 open tasks in 108 workspace files.
    Task Scanner: 29 open tasks in 179 workspace files.