Started 2 yr 8 mo ago
Took 5 min 25 sec

Failed Build #85 (Dec 7, 2017 11:02:49 AM)

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. -  Unused variable cleanup. -  Addresses #123. (details / githubweb)
  2. Format Jenkinsfile (details / githubweb)
  3. Fix assignments to static fields #122 (details / githubweb)

Push event to branch pvj/development at 11:02:42 on 07-Dec-2017

Revision: 933eec41dce210912f7b7e1c83dfb62b454f71a3
  • pvj/development
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.