AbortedConsole Output

Branch indexing
10:18:54 Connecting to https://api.github.com using swengaudk/****** (swengaudk token on github)
Obtained Jenkinsfile from 673ca1c57f92aa8c9ad6b05ea616b8a0f8510937
[Pipeline] node
Running on Jenkins in /var/lib/jenkins/workspace/branch-pipeline_pvj_ovt-254-XURRUNEYBXSXXE7F7H4IR22G6TL4ID7L7A6SFD2URKRUCOBYGENA
[Pipeline] {
[Pipeline] stage
[Pipeline] { (Checkout)
[Pipeline] checkout
Cloning the remote Git repository
Cloning with configured refspecs honoured and without tags
Cloning repository https://github.com/overturetool/vdm2c.git
 > /usr/bin/git init /var/lib/jenkins/workspace/branch-pipeline_pvj_ovt-254-XURRUNEYBXSXXE7F7H4IR22G6TL4ID7L7A6SFD2URKRUCOBYGENA # timeout=10
Fetching upstream changes from https://github.com/overturetool/vdm2c.git
 > /usr/bin/git --version # timeout=10
using GIT_ASKPASS to set credentials swengaudk token on github
 > /usr/bin/git fetch --no-tags --progress https://github.com/overturetool/vdm2c.git +refs/heads/pvj/ovt-254:refs/remotes/origin/pvj/ovt-254
 > /usr/bin/git config remote.origin.url https://github.com/overturetool/vdm2c.git # timeout=10
 > /usr/bin/git config --add remote.origin.fetch +refs/heads/pvj/ovt-254:refs/remotes/origin/pvj/ovt-254 # timeout=10
 > /usr/bin/git config remote.origin.url https://github.com/overturetool/vdm2c.git # timeout=10
Fetching without tags
Fetching upstream changes from https://github.com/overturetool/vdm2c.git
using GIT_ASKPASS to set credentials swengaudk token on github
 > /usr/bin/git fetch --no-tags --progress https://github.com/overturetool/vdm2c.git +refs/heads/pvj/ovt-254:refs/remotes/origin/pvj/ovt-254
Checking out Revision 673ca1c57f92aa8c9ad6b05ea616b8a0f8510937 (pvj/ovt-254)
 > /usr/bin/git config core.sparsecheckout # timeout=10
 > /usr/bin/git checkout -f 673ca1c57f92aa8c9ad6b05ea616b8a0f8510937
Commit message: "-  Minor refinement to exclusion mechanism. -  Addresses #108."
First time build. Skipping changelog.
[Pipeline] sh
[branch-pipeline_pvj_ovt-254-XURRUNEYBXSXXE7F7H4IR22G6TL4ID7L7A6SFD2URKRUCOBYGENA] Running shell script
+ git submodule update --init
Submodule 'c/third_party/googletest' (https://github.com/google/googletest.git) registered for path 'c/third_party/googletest'
Submodule 'cases/fcu' (https://github.com/into-cps/case-study_fcu) registered for path 'cases/fcu'
Submodule 'cases/line-follower-robot' (https://github.com/into-cps/case-study_line_follower_robot) registered for path 'cases/line-follower-robot'
Submodule 'cases/single-watertank' (https://github.com/into-cps/case-study_single_watertank) registered for path 'cases/single-watertank'
Submodule 'cases/three-tank' (https://github.com/into-cps/case-study_three_tank) registered for path 'cases/three-tank'
Cloning into 'c/third_party/googletest'...
Submodule path 'c/third_party/googletest': checked out '0a439623f75c029912728d80cb7f1b8b48739ca4'
Cloning into 'cases/fcu'...
Sending interrupt signal to process
error: index-pack died of signal 15
fatal: index-pack failed
Terminated
Terminated
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Clean up workspace)
[Pipeline] cleanWs
[WS-CLEANUP] Deleting project workspace...[WS-CLEANUP] done
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Reporting)
[Pipeline] emailextrecipients
[Pipeline] emailext
An attempt to send an e-mail to empty list of recipients, ignored.
[Pipeline] }
[Pipeline] // stage
[Pipeline] }
[Pipeline] // node
[Pipeline] End of Pipeline

GitHub has been notified of this commit’s build result

ERROR: script returned exit code 143
Finished: ABORTED