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