Started 4 yr 7 mo ago
Took 6 min 4 sec

Failed Build #42 (Oct 3, 2017 4:33:18 PM)

Build Artifacts
c-0.1.15-SNAPSHOT.pom1.53 KB view
vdmclib-0.1.15-SNAPSHOT.pom1.71 KB view
core-0.1.15-SNAPSHOT.pom950 B view
vdm2c-0.1.15-SNAPSHOT.pom5.62 KB view
ide-0.1.15-SNAPSHOT.pom9.49 KB view
org.overturetool.vdm2c.ide.features.cgen-0.1.15-SNAPSHOT.pom705 B view
org.overturetool.vdm2c.ide.cgen-0.1.15-SNAPSHOT.pom5.02 KB view
org.overturetool.vdm2c.ide.features-0.1.15-SNAPSHOT.pom688 B view
org.overturetool.vdm2c.ide.repository-0.1.15-SNAPSHOT.pom994 B view
root-0.1.15-SNAPSHOT.pom11.69 KB view
Changes
  1. -  WIP is_ query on arbitrary types. -  Addresses #108. (details / githubweb)

Push event to branch vpb/development at 16:33:12 on 03-Oct-2017

Revision: 209048850fdb5ac58accfba8fefbb9b380d6ace8
  • vpb/development
Task Scanner: 23 open tasks in 97 workspace files.
    Task Scanner: 21 open tasks in 86 workspace files.
    Task Scanner: 23 open tasks in 148 workspace files.