SuccessConsole Output

Push event to branch master
03:51:34 Connecting to https://api.github.com using dwightguth/****** (GitHub Access Token)
Obtained Jenkinsfile from e3c2c54ca38193ada13876332fc639e84c43efb3
Running in Durability level: MAX_SURVIVABILITY
[Pipeline] Start of Pipeline
[Pipeline] withCredentials
Masking supported pattern matches of $GITHUB_TOKEN
[Pipeline] {
[Pipeline] withEnv
[Pipeline] {
[Pipeline] ansiColor
[Pipeline] {
[Pipeline] stage
[Pipeline] { (Init title)
Stage "Init title" skipped due to when conditional
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Build and Test)
[Pipeline] node
Running on rvwork-3 in /home/jenkins-slave/workspace/evm-semantics_master
[Pipeline] {
[Pipeline] checkout
using credential github
Wiping out workspace first.
Cloning the remote Git repository
Cloning repository https://github.com/kframework/evm-semantics.git
 > git init /home/jenkins-slave/workspace/evm-semantics_master # timeout=10
Using reference repository: /home/jenkins-slave/devops.git
Fetching upstream changes from https://github.com/kframework/evm-semantics.git
 > git --version # timeout=10
using GIT_ASKPASS to set credentials GitHub Access Token
 > git fetch --tags --progress https://github.com/kframework/evm-semantics.git +refs/heads/*:refs/remotes/origin/*
 > git config remote.origin.url https://github.com/kframework/evm-semantics.git # timeout=10
 > git config --add remote.origin.fetch +refs/heads/*:refs/remotes/origin/* # timeout=10
Checking out Revision e3c2c54ca38193ada13876332fc639e84c43efb3 (master)
Commit message: "Add back Jello Paper deploy (#764)"
 > git config remote.origin.url https://github.com/kframework/evm-semantics.git # timeout=10
Fetching upstream changes from https://github.com/kframework/evm-semantics.git
using GIT_ASKPASS to set credentials GitHub Access Token
 > git fetch --tags --progress https://github.com/kframework/evm-semantics.git +refs/heads/master:refs/remotes/origin/master
 > git config core.sparsecheckout # timeout=10
 > git checkout -f e3c2c54ca38193ada13876332fc639e84c43efb3
 > git rev-list --no-walk d419e26889ad3eb3e7df7f619431383437066476 # 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.tests/ethereum-tests.url # timeout=10
 > git config -f .gitmodules --get submodule.tests/ethereum-tests.path # timeout=10
 > git submodule update --init --recursive --reference /home/jenkins-slave/devops.git tests/ethereum-tests
 > git config --get submodule.deps/k.url # timeout=10
 > git config -f .gitmodules --get submodule.deps/k.path # timeout=10
 > git submodule update --init --recursive --reference /home/jenkins-slave/devops.git deps/k
 > git config --get submodule.deps/secp256k1.url # timeout=10
 > git config -f .gitmodules --get submodule.deps/secp256k1.path # timeout=10
 > git submodule update --init --recursive --reference /home/jenkins-slave/devops.git deps/secp256k1
 > git config --get submodule.deps/pandoc-tangle.url # timeout=10
 > git config -f .gitmodules --get submodule.deps/pandoc-tangle.path # timeout=10
 > git submodule update --init --recursive --reference /home/jenkins-slave/devops.git deps/pandoc-tangle
 > git config --get submodule.deps/plugin.url # timeout=10
 > git config -f .gitmodules --get submodule.deps/plugin.path # timeout=10
 > git submodule update --init --recursive --reference /home/jenkins-slave/devops.git deps/plugin
 > git config --get submodule.deps/metropolis.url # timeout=10
 > git config -f .gitmodules --get submodule.deps/metropolis.path # timeout=10
 > git submodule update --init --recursive --reference /home/jenkins-slave/devops.git deps/metropolis
 > git config --get submodule.deps/libff.url # timeout=10
 > git config -f .gitmodules --get submodule.deps/libff.path # timeout=10
 > git submodule update --init --recursive --reference /home/jenkins-slave/devops.git deps/libff
[Pipeline] withEnv
[Pipeline] {
[Pipeline] isUnix
[Pipeline] readFile
[Pipeline] sh
+ id -u
+ id -g
+ docker build -t 0a22b0e284c091acde7a290729c3d4c6a23137ae --build-arg USER_ID=1001 --build-arg GROUP_ID=1001 -f Dockerfile .
Sending build context to Docker daemon  1.129GB

Step 1/25 : FROM runtimeverificationinc/ubuntu:bionic
 ---> 04492f181f08
Step 2/25 : RUN    apt-get update                    && apt-get upgrade --yes             && apt-get install --yes                     autoconf                             bison                                clang-8                              cmake                                curl                                 flex                                 gcc                                  jq                                   libboost-test-dev                    libcrypto++-dev                      libffi-dev                           libgflags-dev                        libjemalloc-dev                      libmpfr-dev                          libprocps-dev                        libprotobuf-dev                      libsecp256k1-dev                     libssl-dev                           libtool                              libyaml-dev                          lld-8                                llvm-8-tools                         make                                 maven                                netcat-openbsd                       openjdk-11-jdk                       pandoc                               pkg-config                           protobuf-compiler                    python3                              python-pygments                      python-recommonmark                  python-sphinx                        rapidjson-dev                        time                                 zlib1g-dev
 ---> Using cache
 ---> f367e098f960
Step 3/25 : ADD deps/k/haskell-backend/src/main/native/haskell-backend/scripts/install-stack.sh /.install-stack/
 ---> Using cache
 ---> 197949f322a5
Step 4/25 : RUN /.install-stack/install-stack.sh
 ---> Using cache
 ---> c0ef239a1508
Step 5/25 : 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
 ---> d177b579cbe3
Step 6/25 : RUN curl -sL https://deb.nodesource.com/setup_10.x | bash -
 ---> Using cache
 ---> 2b471231e30a
Step 7/25 : RUN apt-get install --yes nodejs
 ---> Using cache
 ---> 6515188b16de
Step 8/25 : USER user:user
 ---> Using cache
 ---> 06dda52a071b
Step 9/25 : ENV LC_ALL=C.UTF-8
 ---> Using cache
 ---> b9eb0bff9f89
Step 10/25 : ADD --chown=user:user deps/k/haskell-backend/src/main/native/haskell-backend/stack.yaml /home/user/.tmp-haskell/
 ---> Using cache
 ---> 5bdba82526c9
Step 11/25 : ADD --chown=user:user deps/k/haskell-backend/src/main/native/haskell-backend/kore/package.yaml /home/user/.tmp-haskell/kore/
 ---> Using cache
 ---> ffc2afe6c09a
Step 12/25 : RUN    cd /home/user/.tmp-haskell     && stack build --only-snapshot
 ---> Using cache
 ---> 6f6c17975761
Step 13/25 : ADD deps/k/pom.xml /home/user/.tmp-maven/
 ---> Using cache
 ---> 9256ae2a0ad4
Step 14/25 : ADD deps/k/ktree/pom.xml /home/user/.tmp-maven/ktree/
 ---> Using cache
 ---> e50e27e9e29d
Step 15/25 : ADD deps/k/llvm-backend/pom.xml /home/user/.tmp-maven/llvm-backend/
 ---> Using cache
 ---> 1886c722af46
Step 16/25 : ADD deps/k/llvm-backend/src/main/native/llvm-backend/matching/pom.xml /home/user/.tmp-maven/llvm-backend/src/main/native/llvm-backend/matching/
 ---> Using cache
 ---> 3725da450a0c
Step 17/25 : ADD deps/k/haskell-backend/pom.xml /home/user/.tmp-maven/haskell-backend/
 ---> Using cache
 ---> ce5fbf08bdab
Step 18/25 : ADD deps/k/ocaml-backend/pom.xml /home/user/.tmp-maven/ocaml-backend/
 ---> Using cache
 ---> d0651622c974
Step 19/25 : ADD deps/k/kernel/pom.xml /home/user/.tmp-maven/kernel/
 ---> Using cache
 ---> 9bfab73612d0
Step 20/25 : ADD deps/k/java-backend/pom.xml /home/user/.tmp-maven/java-backend/
 ---> Using cache
 ---> 9b584d3374c9
Step 21/25 : ADD deps/k/k-distribution/pom.xml /home/user/.tmp-maven/k-distribution/
 ---> Using cache
 ---> ddab7b57f817
Step 22/25 : ADD deps/k/kore/pom.xml /home/user/.tmp-maven/kore/
 ---> Using cache
 ---> 5a70f567c7a9
Step 23/25 : RUN    cd /home/user/.tmp-maven     && mvn dependency:go-offline
 ---> Using cache
 ---> 8500457f0fd8
Step 24/25 : ENV LD_LIBRARY_PATH=/usr/local/lib
 ---> Using cache
 ---> c35f03eb8117
Step 25/25 : ENV PATH=/home/user/.local/bin:$PATH
 ---> Using cache
 ---> 636a9e47f257
[Warning] One or more build-args [GROUP_ID USER_ID] were not consumed
Successfully built 636a9e47f257
Successfully tagged 0a22b0e284c091acde7a290729c3d4c6a23137ae:latest
[Pipeline] dockerFingerprintFrom
[Pipeline] sh
+ docker inspect -f . 0a22b0e284c091acde7a290729c3d4c6a23137ae
.
[Pipeline] withDockerContainer
rvwork-3 does not seem to be running inside a container
$ docker run -t -d -u 1001:1001 -m 60g -w /home/jenkins-slave/workspace/evm-semantics_master -v /home/jenkins-slave/workspace/evm-semantics_master:/home/jenkins-slave/workspace/evm-semantics_master:rw,z -v /home/jenkins-slave/workspace/evm-semantics_master@tmp:/home/jenkins-slave/workspace/evm-semantics_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 ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** 0a22b0e284c091acde7a290729c3d4c6a23137ae cat
$ docker top b9fc5c8b654bd26a6fc9c97123a36bc66319f5ccb24a40c95f28844756d1d2f3 -eo pid,comm
[Pipeline] {
[Pipeline] }
$ docker stop --time=1 b9fc5c8b654bd26a6fc9c97123a36bc66319f5ccb24a40c95f28844756d1d2f3
$ docker rm -f b9fc5c8b654bd26a6fc9c97123a36bc66319f5ccb24a40c95f28844756d1d2f3
[Pipeline] // withDockerContainer
[Pipeline] }
[Pipeline] // withEnv
[Pipeline] }
[Pipeline] // node
Stage "Build and Test" skipped due to when conditional
[Pipeline] stage
[Pipeline] { (Dependencies)
Stage "Build and Test" skipped due to when conditional
[Pipeline] parallel
[Pipeline] { (Branch: K)
[Pipeline] { (Branch: Tests)
[Pipeline] stage
[Pipeline] { (K)
[Pipeline] stage
[Pipeline] { (Tests)
Stage "K" skipped due to when conditional
[Pipeline] }
Stage "Tests" skipped due to when conditional
[Pipeline] }
[Pipeline] // stage
[Pipeline] // stage
[Pipeline] }
[Pipeline] }
[Pipeline] // parallel
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Build)
Stage "Build and Test" skipped due to when conditional
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Test Execution)
Stage "Build and Test" skipped due to when conditional
[Pipeline] parallel
[Pipeline] { (Branch: Conformance (LLVM))
[Pipeline] { (Branch: VM (Haskell))
[Pipeline] { (Branch: Conformance (Web3))
[Pipeline] stage
[Pipeline] { (Conformance (LLVM))
[Pipeline] stage
[Pipeline] { (VM (Haskell))
[Pipeline] stage
[Pipeline] { (Conformance (Web3))
Stage "Conformance (LLVM)" skipped due to when conditional
[Pipeline] }
Stage "VM (Haskell)" skipped due to when conditional
[Pipeline] }
Stage "Conformance (Web3)" skipped due to when conditional
[Pipeline] }
[Pipeline] // stage
[Pipeline] // stage
[Pipeline] // stage
[Pipeline] }
[Pipeline] }
[Pipeline] }
[Pipeline] // parallel
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Proofs)
Stage "Build and Test" skipped due to when conditional
[Pipeline] parallel
[Pipeline] { (Branch: Java + Haskell)
[Pipeline] { (Branch: Haskell (dry-run))
[Pipeline] stage
[Pipeline] { (Java + Haskell)
[Pipeline] stage
[Pipeline] { (Haskell (dry-run))
Stage "Java + Haskell" skipped due to when conditional
[Pipeline] }
Stage "Haskell (dry-run)" skipped due to when conditional
[Pipeline] }
[Pipeline] // stage
[Pipeline] // stage
[Pipeline] }
[Pipeline] }
[Pipeline] // parallel
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Test Interactive)
Stage "Build and Test" skipped due to when conditional
[Pipeline] parallel
[Pipeline] { (Branch: LLVM krun)
[Pipeline] { (Branch: Java krun)
[Pipeline] { (Branch: Haskell krun)
[Pipeline] { (Branch: LLVM Kast)
[Pipeline] { (Branch: Failing tests)
[Pipeline] { (Branch: Java KLab)
[Pipeline] { (Branch: Haskell Search)
[Pipeline] { (Branch: KEVM help)
[Pipeline] stage
[Pipeline] { (LLVM krun)
[Pipeline] stage
[Pipeline] { (Java krun)
[Pipeline] stage
[Pipeline] { (Haskell krun)
[Pipeline] stage
[Pipeline] { (LLVM Kast)
[Pipeline] stage
[Pipeline] { (Failing tests)
[Pipeline] stage
[Pipeline] { (Java KLab)
[Pipeline] stage
[Pipeline] { (Haskell Search)
[Pipeline] stage
[Pipeline] { (KEVM help)
Stage "LLVM krun" skipped due to when conditional
[Pipeline] }
Stage "Java krun" skipped due to when conditional
[Pipeline] }
Stage "Haskell krun" skipped due to when conditional
[Pipeline] }
Stage "LLVM Kast" skipped due to when conditional
[Pipeline] }
Stage "Failing tests" skipped due to when conditional
[Pipeline] }
Stage "Java KLab" skipped due to when conditional
[Pipeline] }
Stage "Haskell Search" skipped due to when conditional
[Pipeline] }
Stage "KEVM help" skipped due to when conditional
[Pipeline] }
[Pipeline] // stage
[Pipeline] // stage
[Pipeline] // stage
[Pipeline] // stage
[Pipeline] // stage
[Pipeline] // stage
[Pipeline] // stage
[Pipeline] // stage
[Pipeline] }
[Pipeline] }
[Pipeline] }
[Pipeline] }
[Pipeline] }
[Pipeline] }
[Pipeline] }
[Pipeline] }
[Pipeline] // parallel
[Pipeline] }
[Pipeline] // stage
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Deploy)
[Pipeline] getContext
[Pipeline] node
Running on rvwork-3 in /home/jenkins-slave/workspace/evm-semantics_master
[Pipeline] {
[Pipeline] checkout
using credential github
Wiping out workspace first.
Cloning the remote Git repository
Cloning repository https://github.com/kframework/evm-semantics.git
 > git init /home/jenkins-slave/workspace/evm-semantics_master # timeout=10
Using reference repository: /home/jenkins-slave/devops.git
Fetching upstream changes from https://github.com/kframework/evm-semantics.git
 > git --version # timeout=10
using GIT_ASKPASS to set credentials GitHub Access Token
 > git fetch --tags --progress https://github.com/kframework/evm-semantics.git +refs/heads/*:refs/remotes/origin/*
 > git config remote.origin.url https://github.com/kframework/evm-semantics.git # timeout=10
 > git config --add remote.origin.fetch +refs/heads/*:refs/remotes/origin/* # timeout=10
 > git config remote.origin.url https://github.com/kframework/evm-semantics.git # timeout=10
Fetching upstream changes from https://github.com/kframework/evm-semantics.git
using GIT_ASKPASS to set credentials GitHub Access Token
 > git fetch --tags --progress https://github.com/kframework/evm-semantics.git +refs/heads/master:refs/remotes/origin/master
Checking out Revision e3c2c54ca38193ada13876332fc639e84c43efb3 (master)
Commit message: "Add back Jello Paper deploy (#764)"
 > git config core.sparsecheckout # timeout=10
 > git checkout -f e3c2c54ca38193ada13876332fc639e84c43efb3
 > 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.tests/ethereum-tests.url # timeout=10
 > git config -f .gitmodules --get submodule.tests/ethereum-tests.path # timeout=10
 > git submodule update --init --recursive --reference /home/jenkins-slave/devops.git tests/ethereum-tests
 > git config --get submodule.deps/k.url # timeout=10
 > git config -f .gitmodules --get submodule.deps/k.path # timeout=10
 > git submodule update --init --recursive --reference /home/jenkins-slave/devops.git deps/k
 > git config --get submodule.deps/secp256k1.url # timeout=10
 > git config -f .gitmodules --get submodule.deps/secp256k1.path # timeout=10
 > git submodule update --init --recursive --reference /home/jenkins-slave/devops.git deps/secp256k1
 > git config --get submodule.deps/pandoc-tangle.url # timeout=10
 > git config -f .gitmodules --get submodule.deps/pandoc-tangle.path # timeout=10
 > git submodule update --init --recursive --reference /home/jenkins-slave/devops.git deps/pandoc-tangle
 > git config --get submodule.deps/plugin.url # timeout=10
 > git config -f .gitmodules --get submodule.deps/plugin.path # timeout=10
 > git submodule update --init --recursive --reference /home/jenkins-slave/devops.git deps/plugin
 > git config --get submodule.deps/metropolis.url # timeout=10
 > git config -f .gitmodules --get submodule.deps/metropolis.path # timeout=10
 > git submodule update --init --recursive --reference /home/jenkins-slave/devops.git deps/metropolis
 > git config --get submodule.deps/libff.url # timeout=10
 > git config -f .gitmodules --get submodule.deps/libff.path # timeout=10
 > git submodule update --init --recursive --reference /home/jenkins-slave/devops.git deps/libff
[Pipeline] withEnv
[Pipeline] {
[Pipeline] isUnix
[Pipeline] readFile
[Pipeline] sh
+ docker build -t 646dac8b0a3c689ae9aafc2bb0c59215eb43672b -f Dockerfile .
Sending build context to Docker daemon  1.129GB

Step 1/25 : FROM runtimeverificationinc/ubuntu:bionic
 ---> 04492f181f08
Step 2/25 : RUN    apt-get update                    && apt-get upgrade --yes             && apt-get install --yes                     autoconf                             bison                                clang-8                              cmake                                curl                                 flex                                 gcc                                  jq                                   libboost-test-dev                    libcrypto++-dev                      libffi-dev                           libgflags-dev                        libjemalloc-dev                      libmpfr-dev                          libprocps-dev                        libprotobuf-dev                      libsecp256k1-dev                     libssl-dev                           libtool                              libyaml-dev                          lld-8                                llvm-8-tools                         make                                 maven                                netcat-openbsd                       openjdk-11-jdk                       pandoc                               pkg-config                           protobuf-compiler                    python3                              python-pygments                      python-recommonmark                  python-sphinx                        rapidjson-dev                        time                                 zlib1g-dev
 ---> Using cache
 ---> f367e098f960
Step 3/25 : ADD deps/k/haskell-backend/src/main/native/haskell-backend/scripts/install-stack.sh /.install-stack/
 ---> Using cache
 ---> 197949f322a5
Step 4/25 : RUN /.install-stack/install-stack.sh
 ---> Using cache
 ---> c0ef239a1508
Step 5/25 : 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
 ---> d177b579cbe3
Step 6/25 : RUN curl -sL https://deb.nodesource.com/setup_10.x | bash -
 ---> Using cache
 ---> 2b471231e30a
Step 7/25 : RUN apt-get install --yes nodejs
 ---> Using cache
 ---> 6515188b16de
Step 8/25 : USER user:user
 ---> Using cache
 ---> 06dda52a071b
Step 9/25 : ENV LC_ALL=C.UTF-8
 ---> Using cache
 ---> b9eb0bff9f89
Step 10/25 : ADD --chown=user:user deps/k/haskell-backend/src/main/native/haskell-backend/stack.yaml /home/user/.tmp-haskell/
 ---> Using cache
 ---> 5bdba82526c9
Step 11/25 : ADD --chown=user:user deps/k/haskell-backend/src/main/native/haskell-backend/kore/package.yaml /home/user/.tmp-haskell/kore/
 ---> Using cache
 ---> ffc2afe6c09a
Step 12/25 : RUN    cd /home/user/.tmp-haskell     && stack build --only-snapshot
 ---> Using cache
 ---> 6f6c17975761
Step 13/25 : ADD deps/k/pom.xml /home/user/.tmp-maven/
 ---> Using cache
 ---> 9256ae2a0ad4
Step 14/25 : ADD deps/k/ktree/pom.xml /home/user/.tmp-maven/ktree/
 ---> Using cache
 ---> e50e27e9e29d
Step 15/25 : ADD deps/k/llvm-backend/pom.xml /home/user/.tmp-maven/llvm-backend/
 ---> Using cache
 ---> 1886c722af46
Step 16/25 : ADD deps/k/llvm-backend/src/main/native/llvm-backend/matching/pom.xml /home/user/.tmp-maven/llvm-backend/src/main/native/llvm-backend/matching/
 ---> Using cache
 ---> 3725da450a0c
Step 17/25 : ADD deps/k/haskell-backend/pom.xml /home/user/.tmp-maven/haskell-backend/
 ---> Using cache
 ---> ce5fbf08bdab
Step 18/25 : ADD deps/k/ocaml-backend/pom.xml /home/user/.tmp-maven/ocaml-backend/
 ---> Using cache
 ---> d0651622c974
Step 19/25 : ADD deps/k/kernel/pom.xml /home/user/.tmp-maven/kernel/
 ---> Using cache
 ---> 9bfab73612d0
Step 20/25 : ADD deps/k/java-backend/pom.xml /home/user/.tmp-maven/java-backend/
 ---> Using cache
 ---> 9b584d3374c9
Step 21/25 : ADD deps/k/k-distribution/pom.xml /home/user/.tmp-maven/k-distribution/
 ---> Using cache
 ---> ddab7b57f817
Step 22/25 : ADD deps/k/kore/pom.xml /home/user/.tmp-maven/kore/
 ---> Using cache
 ---> 5a70f567c7a9
Step 23/25 : RUN    cd /home/user/.tmp-maven     && mvn dependency:go-offline
 ---> Using cache
 ---> 8500457f0fd8
Step 24/25 : ENV LD_LIBRARY_PATH=/usr/local/lib
 ---> Using cache
 ---> c35f03eb8117
Step 25/25 : ENV PATH=/home/user/.local/bin:$PATH
 ---> Using cache
 ---> 636a9e47f257
Successfully built 636a9e47f257
Successfully tagged 646dac8b0a3c689ae9aafc2bb0c59215eb43672b:latest
[Pipeline] dockerFingerprintFrom
[Pipeline] sh
+ docker inspect -f . 646dac8b0a3c689ae9aafc2bb0c59215eb43672b
.
[Pipeline] withDockerContainer
rvwork-3 does not seem to be running inside a container
$ docker run -t -d -u 1001:1001 -w /home/jenkins-slave/workspace/evm-semantics_master -v /home/jenkins-slave/workspace/evm-semantics_master:/home/jenkins-slave/workspace/evm-semantics_master:rw,z -v /home/jenkins-slave/workspace/evm-semantics_master@tmp:/home/jenkins-slave/workspace/evm-semantics_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 ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** 646dac8b0a3c689ae9aafc2bb0c59215eb43672b cat
$ docker top 41038bee6a47940f9d9a677d1b24bb41da949782532ed747970222dbc8c5d8dc -eo pid,comm
[Pipeline] {
[Pipeline] stage
[Pipeline] { (Update Dependents)
[Pipeline] build
Scheduling project: rv-devops » master
[Pipeline] build
Scheduling project: rv-devops » master
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Jello Paper)
[Pipeline] sshagent
[ssh-agent] Using credentials admin@runtimeverification.com (Jenkins administrative key)
[ssh-agent] Looking for ssh-agent implementation...
[ssh-agent]   Exec ssh-agent (binary ssh-agent on a remote machine)
$ docker exec 41038bee6a47940f9d9a677d1b24bb41da949782532ed747970222dbc8c5d8dc ssh-agent
SSH_AUTH_SOCK=/tmp/ssh-V7hdzZ0K6ATa/agent.13
SSH_AGENT_PID=18
Running ssh-add (command line suppressed)
Identity added: /home/jenkins-slave/workspace/evm-semantics_master@tmp/private_key_5277675883107717200.key (/home/jenkins-slave/workspace/evm-semantics_master@tmp/private_key_5277675883107717200.key)
[ssh-agent] Started.
[Pipeline] {
[Pipeline] dir
Running in /home/jenkins-slave/workspace/evm-semantics_master/kevm-1.0.0-jello-paper
[Pipeline] {
[Pipeline] sh
+ git config --global user.email admin@runtimeverification.com
+ git config --global user.name RV Jenkins
+ mkdir -p /home/user/.ssh
+ echo host github.com
+ echo     hostname github.com
+ echo     user git
+ echo     identityagent SSH_AUTH_SOCK
+ echo     stricthostkeychecking accept-new
+ chmod go-rwx -R /home/user/.ssh
+ ssh github.com
Pseudo-terminal will not be allocated because stdin is not a terminal.
Warning: Permanently added 'github.com,140.82.112.4' (RSA) to the list of known hosts.
Hi rv-jenkins! You've successfully authenticated, but GitHub does not provide shell access.
+ true
+ git clone ssh://github.com/kframework/evm-semantics.git
Cloning into 'evm-semantics'...
+ cd evm-semantics
+ git checkout -B gh-pages origin/master
Switched to a new branch 'gh-pages'
Branch 'gh-pages' set up to track remote branch 'master' from 'origin'.
+ rm -rf .build .gitignore .gitmodules cmake deps Dockerfile Jenkinsfile kast-json.py kevm kore-json.py LICENSE Makefile media package
+ git add ./
+ git commit -m gh-pages: remove unrelated content
[gh-pages 3cc9fb7] gh-pages: remove unrelated content
 41 files changed, 4572 deletions(-)
 delete mode 100644 .gitignore
 delete mode 100644 .gitmodules
 delete mode 100644 Dockerfile
 delete mode 100644 Jenkinsfile
 delete mode 100644 LICENSE
 delete mode 100644 Makefile
 delete mode 100644 cmake/client/CMakeLists.txt
 delete mode 100644 cmake/node/CMakeLists.txt
 delete mode 100644 cmake/version.h
 delete mode 160000 deps/k
 delete mode 160000 deps/libff
 delete mode 160000 deps/metropolis
 delete mode 160000 deps/pandoc-tangle
 delete mode 160000 deps/plugin
 delete mode 160000 deps/secp256k1
 delete mode 100755 kast-json.py
 delete mode 100755 kevm
 delete mode 100755 kore-json.py
 delete mode 100644 media/201710-presentation-devcon3.md
 delete mode 100644 media/201801-presentation-csf.md
 delete mode 100644 media/201905-exercise-k-workshop.md
 delete mode 100644 media/201908-trufflecon-firefly.md
 delete mode 100644 media/201908-trufflecon-workshop.md
 delete mode 100644 media/201908-trufflecon/add-gas-spec.k
 delete mode 100644 media/201908-trufflecon/add-overflow-spec.k
 delete mode 100644 media/201908-trufflecon/add-spec.k
 delete mode 100644 media/201908-trufflecon/addition.evm
 delete mode 100644 media/201908-trufflecon/kevm-ltl.md
 delete mode 100644 media/citations.md
 delete mode 100644 media/images/k-overview.png
 delete mode 100644 media/images/proof-system.png
 delete mode 100644 package/Dockerfile.arch
 delete mode 100644 package/Dockerfile.debian-buster
 delete mode 100644 package/Dockerfile.ubuntu-bionic
 delete mode 100644 package/PKGBUILD
 delete mode 100644 package/debian/changelog
 delete mode 100644 package/debian/compat
 delete mode 100644 package/debian/control
 delete mode 100755 package/debian/rules
 delete mode 100644 package/ubuntu/control
 delete mode 100755 package/ubuntu/rules
+ git fetch origin gh-pages
From ssh://github.com/kframework/evm-semantics
 * branch            gh-pages   -> FETCH_HEAD
+ git merge --strategy ours FETCH_HEAD
Merge made by the 'ours' strategy.
+ git push origin gh-pages
To ssh://github.com/kframework/evm-semantics.git
   91dec06..dcf2fd4  gh-pages -> gh-pages
[Pipeline] }
[Pipeline] // dir
[Pipeline] }
$ docker exec --env ******** --env ******** 41038bee6a47940f9d9a677d1b24bb41da949782532ed747970222dbc8c5d8dc ssh-agent -k
unset SSH_AUTH_SOCK;
unset SSH_AGENT_PID;
echo Agent pid 18 killed;
[ssh-agent] Stopped.
[Pipeline] // sshagent
[Pipeline] }
[Pipeline] // stage
[Pipeline] }
$ docker stop --time=1 41038bee6a47940f9d9a677d1b24bb41da949782532ed747970222dbc8c5d8dc
$ docker rm -f 41038bee6a47940f9d9a677d1b24bb41da949782532ed747970222dbc8c5d8dc
[Pipeline] // withDockerContainer
[Pipeline] }
[Pipeline] // withEnv
[Pipeline] }
[Pipeline] // node
[Pipeline] }
[Pipeline] // stage
[Pipeline] }
[Pipeline] // ansiColor
[Pipeline] }
[Pipeline] // withEnv
[Pipeline] }
[Pipeline] // withCredentials
[Pipeline] End of Pipeline

GitHub has been notified of this commit’s build result

Finished: SUCCESS