AbortedConsole Output

Push event to branch master
06:53:38 Connecting to https://api.github.com using dwightguth/****** (GitHub Access Token)
Obtained Jenkinsfile from c12cff9a277cc3cc2f6ecd52a807a1097dbcfb5a
Running in Durability level: MAX_SURVIVABILITY
[Pipeline] Start of Pipeline
[Pipeline] node
Running on rvwork-4 in /home/jenkins-slave/workspace/verified-smart-contracts_master
[Pipeline] {
[Pipeline] stage
[Pipeline] { (Declarative: Checkout SCM)
[Pipeline] checkout
using credential github
Wiping out workspace first.
Cloning the remote Git repository
Cloning repository https://github.com/runtimeverification/verified-smart-contracts.git
 > git init /home/jenkins-slave/workspace/verified-smart-contracts_master # timeout=10
Using reference repository: /home/jenkins-slave/devops.git
Fetching upstream changes from https://github.com/runtimeverification/verified-smart-contracts.git
 > git --version # timeout=10
using GIT_ASKPASS to set credentials GitHub Access Token
 > git fetch --tags --progress https://github.com/runtimeverification/verified-smart-contracts.git +refs/heads/*:refs/remotes/origin/*
Checking out Revision c12cff9a277cc3cc2f6ecd52a807a1097dbcfb5a (master)
Commit message: "Deposit: further improvement of specs (#320)"
 > git config remote.origin.url https://github.com/runtimeverification/verified-smart-contracts.git # timeout=10
 > git config --add remote.origin.fetch +refs/heads/*:refs/remotes/origin/* # timeout=10
 > git config remote.origin.url https://github.com/runtimeverification/verified-smart-contracts.git # timeout=10
Fetching upstream changes from https://github.com/runtimeverification/verified-smart-contracts.git
using GIT_ASKPASS to set credentials GitHub Access Token
 > git fetch --tags --progress https://github.com/runtimeverification/verified-smart-contracts.git +refs/heads/master:refs/remotes/origin/master
 > git config core.sparsecheckout # timeout=10
 > git checkout -f c12cff9a277cc3cc2f6ecd52a807a1097dbcfb5a
 > git rev-list --no-walk 09febf4ec04a751a866b913503467cd358d0be1e # timeout=10
 > git remote # timeout=10
 > git submodule init # timeout=10
 > git submodule sync # timeout=10
 > git config --get remote.origin.url # timeout=10
 > git submodule init # timeout=10
 > git config -f .gitmodules --get-regexp ^submodule\.(.+)\.url # timeout=10
 > git config --get submodule..build/pandoc-tangle.url # timeout=10
 > git config -f .gitmodules --get submodule..build/pandoc-tangle.path # timeout=10
 > git submodule update --init --recursive --reference /home/jenkins-slave/devops.git .build/pandoc-tangle
[Pipeline] }
[Pipeline] // stage
[Pipeline] withEnv
[Pipeline] {
[Pipeline] stage
[Pipeline] { (Declarative: Agent Setup)
[Pipeline] isUnix
[Pipeline] readFile
[Pipeline] sh
+ id -u
+ id -g
+ docker build -t a8f6c14881c6548e55ff7cf872febabe510f7110 --build-arg USER_ID=1001 --build-arg GROUP_ID=1001 -f Dockerfile .
Sending build context to Docker daemon  11.54MB

Step 1/12 : FROM ubuntu:bionic
 ---> 72300a873c2c
Step 2/12 : ENV TZ=America/Chicago
 ---> Using cache
 ---> 51779b6c31bb
Step 3/12 : RUN    ln --symbolic --no-dereference --force /usr/share/zoneinfo/$TZ /etc/localtime     && echo $TZ > /etc/timezone
 ---> Using cache
 ---> c8457fa68261
Step 4/12 : RUN    apt update                                                                && apt upgrade --yes                                                         && apt install --yes                                                             autoconf bison build-essential clang++-6.0 clang-6.0 cmake coreutils         curl diffutils flex gcc git gnupg libboost-test-dev libffi-dev               libgmp-dev libjemalloc-dev libmpfr-dev libstdc++6 libtool libxml2            libyaml-cpp-dev llvm-6.0 m4 make maven opam openjdk-8-jdk pandoc             pkg-config python3 python-jinja2 python-pygments python-recommonmark         python-sphinx scala time unifdef zlib1g-dev
 ---> Using cache
 ---> 420053e171e8
Step 5/12 : RUN update-alternatives --set java /usr/lib/jvm/java-8-openjdk-amd64/jre/bin/java
 ---> Using cache
 ---> 5220f3d9dd8a
Step 6/12 : RUN curl -sSL https://get.haskellstack.org/ | sh
 ---> Using cache
 ---> 1b84c9b23941
Step 7/12 : RUN    git clone 'https://github.com/z3prover/z3' --branch=z3-4.6.0     && cd z3                                                            && python scripts/mk_make.py                                        && cd build                                                         && make -j8                                                         && make install                                                     && cd ../..                                                         && rm -rf z3
 ---> Using cache
 ---> cd5f9d846e01
Step 8/12 : ARG USER_ID=1000
 ---> Using cache
 ---> 8a4c90b861c5
Step 9/12 : ARG GROUP_ID=1000
 ---> Using cache
 ---> de8a34f41126
Step 10/12 : RUN    groupadd --gid $GROUP_ID user                                            && useradd --create-home --uid $USER_ID --shell /bin/sh --gid user user
 ---> Using cache
 ---> c92821c10eb3
Step 11/12 : USER $USER_ID:$GROUP_ID
 ---> Using cache
 ---> 1b43874aa38c
Step 12/12 : RUN    cd /home/user                                                              && git clone 'https://github.com/kframework/k' --branch=nightly-0f3835d3a     && ./k/k-distribution/src/main/scripts/bin/k-configure-opam-dev               && rm -rf k
 ---> Using cache
 ---> 94f4abd5a602
Successfully built 94f4abd5a602
Successfully tagged a8f6c14881c6548e55ff7cf872febabe510f7110:latest
[Pipeline] dockerFingerprintFrom
[Pipeline] }
[Pipeline] // stage
[Pipeline] sh
+ docker inspect -f . a8f6c14881c6548e55ff7cf872febabe510f7110
.
[Pipeline] withDockerContainer
rvwork-4 does not seem to be running inside a container
$ docker run -t -d -u 1001:1001 -w /home/jenkins-slave/workspace/verified-smart-contracts_master -v /home/jenkins-slave/workspace/verified-smart-contracts_master:/home/jenkins-slave/workspace/verified-smart-contracts_master:rw,z -v /home/jenkins-slave/workspace/verified-smart-contracts_master@tmp:/home/jenkins-slave/workspace/verified-smart-contracts_master@tmp:rw,z -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** a8f6c14881c6548e55ff7cf872febabe510f7110 cat
$ docker top 74b19dc75820ce210ef8db34ff8cccbf95c90be0f9fa6c438d0468735ba78054 -eo pid,comm
[Pipeline] {
[Pipeline] withEnv
[Pipeline] {
[Pipeline] stage
[Pipeline] { (Init title)
Stage "Init title" skipped due to when conditional
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Set vars)
[Pipeline] script
[Pipeline] {
[Pipeline] sh
+ nproc
[Pipeline] }
Aborted by Daejun Park
[Pipeline] // script
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Dependencies)
Stage "Dependencies" skipped due to earlier failure(s)
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Minimal)
Stage "Minimal" skipped due to earlier failure(s)
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Mainnet Test)
Stage "Mainnet Test" skipped due to earlier failure(s)
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (KTest)
Stage "KTest" skipped due to earlier failure(s)
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (ERC20)
Stage "ERC20" skipped due to earlier failure(s)
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Deposit)
Stage "Deposit" skipped due to earlier failure(s)
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Gnosis)
Stage "Gnosis" skipped due to earlier failure(s)
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Bihu)
Stage "Bihu" skipped due to earlier failure(s)
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
Click here to forcibly terminate running steps
[Pipeline] { (Uniswap)
Stage "Uniswap" skipped due to earlier failure(s)
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (ERC20 mainnet)
Stage "ERC20 mainnet" skipped due to earlier failure(s)
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Check K revision)
Stage "Check K revision" skipped due to earlier failure(s)
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Update Git Tags)
Stage "Update Git Tags" skipped due to earlier failure(s)
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Declarative: Post Actions)
[Pipeline] sh
+ make -C resources stop-kserver
make: Entering directory '/home/jenkins-slave/workspace/verified-smart-contracts_master/resources'
/home/jenkins-slave/workspace/verified-smart-contracts_master/.build/k/k-distribution/target/release/k/bin/stop-kserver || true
/bin/sh: 1: /home/jenkins-slave/workspace/verified-smart-contracts_master/.build/k/k-distribution/target/release/k/bin/stop-kserver: not found
make: Leaving directory '/home/jenkins-slave/workspace/verified-smart-contracts_master/resources'
[Pipeline] }
[Pipeline] // stage
[Pipeline] }
[Pipeline] // withEnv
[Pipeline] }
$ docker stop --time=1 74b19dc75820ce210ef8db34ff8cccbf95c90be0f9fa6c438d0468735ba78054
$ docker rm -f 74b19dc75820ce210ef8db34ff8cccbf95c90be0f9fa6c438d0468735ba78054
[Pipeline] // withDockerContainer
[Pipeline] }
[Pipeline] // withEnv
[Pipeline] }
[Pipeline] // node
[Pipeline] End of Pipeline

GitHub has been notified of this commit’s build result

Finished: ABORTED