FailedConsole Output

Started by user Peter W. V. Tran-Jørgensen
Building on master in workspace /var/lib/jenkins/workspace/vdm2c-release
Wiping out workspace first.
Cloning the remote Git repository
Cloning repository git@github.com:overturetool/vdm2c.git
 > /usr/bin/git init /var/lib/jenkins/workspace/vdm2c-release # timeout=10
Fetching upstream changes from git@github.com:overturetool/vdm2c.git
 > /usr/bin/git --version # timeout=10
 > /usr/bin/git -c core.askpass=true fetch --tags --progress git@github.com:overturetool/vdm2c.git +refs/heads/*:refs/remotes/origin/*
 > /usr/bin/git config remote.origin.url git@github.com:overturetool/vdm2c.git # timeout=10
 > /usr/bin/git config --add remote.origin.fetch +refs/heads/*:refs/remotes/origin/* # timeout=10
 > /usr/bin/git config remote.origin.url git@github.com:overturetool/vdm2c.git # timeout=10
Fetching upstream changes from git@github.com:overturetool/vdm2c.git
 > /usr/bin/git -c core.askpass=true fetch --tags --progress git@github.com:overturetool/vdm2c.git +refs/heads/*:refs/remotes/origin/*
 > /usr/bin/git rev-parse refs/remotes/origin/development^{commit} # timeout=10
 > /usr/bin/git rev-parse refs/remotes/origin/refs/heads/development^{commit} # timeout=10
Checking out Revision 8a56ba840579dcc41dbd07a3f8cddd77a01a3b9e (refs/remotes/origin/development)
 > /usr/bin/git config core.sparsecheckout # timeout=10
 > /usr/bin/git checkout -f 8a56ba840579dcc41dbd07a3f8cddd77a01a3b9e
 > /usr/bin/git rev-list 18c8de3d9302410a9f152bca05b8ea553ef6e890 # timeout=10
 > /usr/bin/git remote # timeout=10
 > /usr/bin/git submodule init # timeout=10
 > /usr/bin/git submodule sync # timeout=10
 > /usr/bin/git config --get remote.origin.url # timeout=10
 > /usr/bin/git submodule update --init --recursive
Setting commit status on GitHub for https://github.com/overturetool/vdm2c/commit/8a56ba840579dcc41dbd07a3f8cddd77a01a3b9e
[vdm2c-release] $ /bin/sh -xe /tmp/hudson6446035418381714036.sh
+ wget -q https://raw.githubusercontent.com/overturetool/overture-release-scripts/master/perform-release.sh -O perform-release.sh
+ chmod +x perform-release.sh
+ wget -q https://raw.githubusercontent.com/overturetool/overture-release-scripts/master/git-set-private-key.sh -O git-set-private-key.sh
+ chmod +x git-set-private-key.sh
+ ./git-set-private-key.sh /var/lib/jenkins/.ssh/id_rsa_vdm2c
+ export GIT_SSH=/var/lib/jenkins/workspace/vdm2c-release/ssh
+ git checkout development
Switched to a new branch 'development'
Branch development set up to track remote branch development from origin.
+ batchmode=release ./perform-release.sh /var/lib/jenkins/internal-resources/settings.xml
Building from branch: development
Already on 'development'
Your branch is up-to-date with 'origin/development'.
Checking for overture.release.properties
File exists: overture.release.properties
Fetch current version
Current version  : 0.0.9-SNAPSHOT
Next dev version : 0.0.11-SNAPSHOT
Release version  : 0.0.10
Incorrect format for new development version number.
Build step 'Execute shell' marked build as failure
SSH: Current build result is [FAILURE], not going to run.
Setting commit status on GitHub for https://github.com/overturetool/vdm2c/commit/8a56ba840579dcc41dbd07a3f8cddd77a01a3b9e
Started calculate disk usage of build
Finished Calculation of disk usage of build in 0 seconds
Started calculate disk usage of workspace
Finished Calculation of disk usage of workspace in 0 seconds
Finished: FAILURE