SuccessConsole Output

Push event to branch master
11:31:38 Connecting to https://api.github.com using dwightguth/****** (GitHub Access Token)
Obtained Jenkinsfile from 79fbafad816e7044063a07220bf5f224a50c61cd
Running in Durability level: MAX_SURVIVABILITY
[Pipeline] Start of Pipeline
[Pipeline] getContext
[Pipeline] node
Running on rvwork-2 in /home/jenkins-slave/workspace/polkadot-verification_master
[Pipeline] {
[Pipeline] stage
[Pipeline] { (Declarative: Checkout SCM)
[Pipeline] checkout
using credential github
Wiping out workspace first.
Cloning the remote Git repository
Cloning with configured refspecs honoured and without tags
Cloning repository https://github.com/runtimeverification/polkadot-verification.git
 > git init /home/jenkins-slave/workspace/polkadot-verification_master # timeout=10
Fetching upstream changes from https://github.com/runtimeverification/polkadot-verification.git
 > git --version # timeout=10
using GIT_ASKPASS to set credentials GitHub Access Token
 > git fetch --no-tags --progress https://github.com/runtimeverification/polkadot-verification.git +refs/heads/master:refs/remotes/origin/master
Fetching without tags
 > git config remote.origin.url https://github.com/runtimeverification/polkadot-verification.git # timeout=10
 > git config --add remote.origin.fetch +refs/heads/master:refs/remotes/origin/master # timeout=10
 > git config remote.origin.url https://github.com/runtimeverification/polkadot-verification.git # timeout=10
Fetching upstream changes from https://github.com/runtimeverification/polkadot-verification.git
using GIT_ASKPASS to set credentials GitHub Access Token
 > git fetch --no-tags --progress https://github.com/runtimeverification/polkadot-verification.git +refs/heads/master:refs/remotes/origin/master
Checking out Revision 79fbafad816e7044063a07220bf5f224a50c61cd (master)
Commit message: "Correct functional attributes, default account creation (#69)"
 > git config core.sparsecheckout # timeout=10
 > git checkout -f 79fbafad816e7044063a07220bf5f224a50c61cd
 > git rev-list --no-walk 91626f7e6eb14e6cc5305cb0b9e75a4d9622f22b # 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.deps/wasm-semantics.url # timeout=10
 > git config -f .gitmodules --get submodule.deps/wasm-semantics.path # timeout=10
 > git submodule update --init --recursive deps/wasm-semantics
 > git config --get submodule.deps/substrate.url # timeout=10
 > git config -f .gitmodules --get submodule.deps/substrate.path # timeout=10
 > git submodule update --init --recursive deps/substrate
[Pipeline] }
[Pipeline] // stage
[Pipeline] withEnv
[Pipeline] {
[Pipeline] stage
[Pipeline] { (Declarative: Agent Setup)
[Pipeline] isUnix
[Pipeline] readFile
[Pipeline] sh
+ docker build -t a8fc4a49120b7d1f7c9cbc55403046777a655d01 -f Dockerfile .
Sending build context to Docker daemon  566.7MB

Step 1/15 : FROM runtimeverificationinc/ubuntu:bionic
 ---> 04492f181f08
Step 2/15 : RUN    apt-get update                                                           && apt-get upgrade --yes                                                    && apt-get install --yes                                                        autoconf bison clang-8 cmake curl flex gcc git libboost-test-dev            libclang-dev libcrypto++-dev libffi-dev libjemalloc-dev libmpfr-dev         libprocps-dev libprotobuf-dev libsecp256k1-dev libssl-dev libtool           libyaml-dev libz3-dev lld-8 llvm-8-tools make maven netcat-openbsd          opam openjdk-11-jdk pandoc pkg-config protobuf-compiler python3             python-pygments python-recommonmark python-sphinx rapidjson-dev             time z3 zlib1g-dev
 ---> Using cache
 ---> 8d66e8495b2d
Step 3/15 : ADD deps/wasm-semantics/deps/k/haskell-backend/src/main/native/haskell-backend/scripts/install-stack.sh /.install-stack/
 ---> Using cache
 ---> 803d20420962
Step 4/15 : RUN /.install-stack/install-stack.sh
 ---> Using cache
 ---> 233ea950d814
Step 5/15 : USER user:user
 ---> Using cache
 ---> 3f2a45cbc8ad
Step 6/15 : ADD deps/wasm-semantics/deps/k/k-distribution/src/main/scripts/bin/k-configure-opam-dev deps/wasm-semantics/deps/k/k-distribution/src/main/scripts/bin/k-configure-opam-common /home/user/.tmp-opam/bin/
 ---> Using cache
 ---> cf4bed15d294
Step 7/15 : ADD deps/wasm-semantics/deps/k/k-distribution/src/main/scripts/lib/opam  /home/user/.tmp-opam/lib/opam/
 ---> Using cache
 ---> 7345c3c87b36
Step 8/15 : RUN    cd /home/user     && ./.tmp-opam/bin/k-configure-opam-dev
 ---> Using cache
 ---> 90bef5f6b429
Step 9/15 : ADD --chown=user:user deps/wasm-semantics/deps/k/haskell-backend/src/main/native/haskell-backend/stack.yaml /home/user/.tmp-haskell/
 ---> Using cache
 ---> deb8f23832c6
Step 10/15 : ADD --chown=user:user deps/wasm-semantics/deps/k/haskell-backend/src/main/native/haskell-backend/kore/package.yaml /home/user/.tmp-haskell/kore/
 ---> Using cache
 ---> 390ace27bfbe
Step 11/15 : RUN    cd /home/user/.tmp-haskell     && stack build --only-snapshot
 ---> Using cache
 ---> 20f64dd84df2
Step 12/15 : RUN    cd /home/user                                                                     && git clone --recursive 'https://github.com/WebAssembly/wabt' --branch='1.0.10'     && cd wabt                                                                           && mkdir build && cd build                                                           && cmake .. && cmake --build .
 ---> Using cache
 ---> f363f810d244
Step 13/15 : RUN curl https://sh.rustup.rs -sSf | sh -s -- -y
 ---> Using cache
 ---> 1a9c5a46bd8d
Step 14/15 : ENV LD_LIBRARY_PATH=/usr/local/lib
 ---> Using cache
 ---> a75ed0f45c10
Step 15/15 : ENV PATH=/home/user/wabt/build:/home/user/.local/bin:/home/user/.cargo/bin:$PATH
 ---> Using cache
 ---> f6ac3f81da44
Successfully built f6ac3f81da44
Successfully tagged a8fc4a49120b7d1f7c9cbc55403046777a655d01:latest
[Pipeline] dockerFingerprintFrom
[Pipeline] }
[Pipeline] // stage
[Pipeline] sh
+ docker inspect -f . a8fc4a49120b7d1f7c9cbc55403046777a655d01
.
[Pipeline] withDockerContainer
rvwork-2 does not seem to be running inside a container
$ docker run -t -d -u 1001:1001 -w /home/jenkins-slave/workspace/polkadot-verification_master -v /home/jenkins-slave/workspace/polkadot-verification_master:/home/jenkins-slave/workspace/polkadot-verification_master:rw,z -v /home/jenkins-slave/workspace/polkadot-verification_master@tmp:/home/jenkins-slave/workspace/polkadot-verification_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 ******** -e ******** a8fc4a49120b7d1f7c9cbc55403046777a655d01 cat
$ docker top 3872b48e6f832bd80659044a851bcc1ab08a553b951dd2cdbf5afb7c09598a2a -eo pid,comm
[Pipeline] {
[Pipeline] ansiColor
[Pipeline] {
[Pipeline] stage
[Pipeline] { (Init title)
Stage "Init title" skipped due to when conditional
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Dependencies)
Stage "Dependencies" skipped due to when conditional
[Pipeline] parallel
[Pipeline] { (Branch: KWasm)
[Pipeline] { (Branch: Polkadot)
[Pipeline] stage
[Pipeline] { (KWasm)
[Pipeline] stage
[Pipeline] { (Polkadot)
Stage "KWasm" skipped due to when conditional
[Pipeline] }
Stage "Polkadot" skipped due to when conditional
[Pipeline] }
[Pipeline] // stage
[Pipeline] // stage
[Pipeline] }
[Pipeline] }
[Pipeline] // parallel
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Build)
Stage "Build" skipped due to when conditional
[Pipeline] parallel
[Pipeline] { (Branch: KWasm (normal))
[Pipeline] { (Branch: KWasm (coverage))
[Pipeline] { (Branch: Polkadot)
[Pipeline] stage
[Pipeline] { (KWasm (normal))
[Pipeline] stage
[Pipeline] { (KWasm (coverage))
[Pipeline] stage
[Pipeline] { (Polkadot)
Stage "KWasm (normal)" skipped due to when conditional
[Pipeline] }
Stage "KWasm (coverage)" skipped due to when conditional
[Pipeline] }
Stage "Polkadot" skipped due to when conditional
[Pipeline] }
[Pipeline] // stage
[Pipeline] // stage
[Pipeline] // stage
[Pipeline] }
[Pipeline] }
[Pipeline] }
[Pipeline] // parallel
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Test)
Stage "Test" skipped due to when conditional
[Pipeline] parallel
[Pipeline] { (Branch: Can Build Specs)
[Pipeline] { (Branch: Python Config)
[Pipeline] { (Branch: Fuse Rules Simple)
[Pipeline] stage
[Pipeline] { (Can Build Specs)
[Pipeline] stage
[Pipeline] { (Python Config)
[Pipeline] stage
[Pipeline] { (Fuse Rules Simple)
Stage "Can Build Specs" skipped due to when conditional
[Pipeline] }
Stage "Python Config" skipped due to when conditional
[Pipeline] }
Stage "Fuse Rules Simple" skipped due to when conditional
[Pipeline] }
[Pipeline] // stage
[Pipeline] // stage
[Pipeline] // stage
[Pipeline] }
[Pipeline] }
[Pipeline] }
[Pipeline] // parallel
[Pipeline] }
[Pipeline] // stage
[Pipeline] }
[Pipeline] // ansiColor
[Pipeline] }
$ docker stop --time=1 3872b48e6f832bd80659044a851bcc1ab08a553b951dd2cdbf5afb7c09598a2a
$ docker rm -f 3872b48e6f832bd80659044a851bcc1ab08a553b951dd2cdbf5afb7c09598a2a
[Pipeline] // withDockerContainer
[Pipeline] }
[Pipeline] // withEnv
[Pipeline] }
[Pipeline] // node
[Pipeline] End of Pipeline

GitHub has been notified of this commit’s build result

Finished: SUCCESS