Started 4 yr 7 mo ago
Took 16 min

Aborted Build #139 (Oct 4, 2017 3:16:50 PM)

Build Artifacts
c-0.1.15-SNAPSHOT.pom1.56 KB view
vdmclib-0.1.15-SNAPSHOT.pom1.71 KB view
vdmclibdist-0.1.15-SNAPSHOT.pom1.73 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.21 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
  1. Add release notes for version 0.1.16 (details / githubweb)
  2. Prepare release of VDM2C 0.1.16 (details / githubweb)

Push event to branch development at 15:16:44 on 04-Oct-2017

Revision: 201ce5af0e986fa0f72bd28d1fd11c77dbb6a946
  • development
Task Scanner: 28 open tasks in 107 workspace files.
    Task Scanner: 26 open tasks in 96 workspace files.

    Aborted by user Peter W. V. Tran-Jørgensen