SuccessConsole Output

Push event to branch master
13:22:32 Connecting to https://api.github.com using dwightguth/****** (GitHub Access Token)
Obtained Jenkinsfile from 8b04b86ac303b19eb4f044fddd5561d96c874322
Running in Durability level: MAX_SURVIVABILITY
[Pipeline] Start of Pipeline
[Pipeline] ansiColor
[Pipeline] {
[Pipeline] stage
[Pipeline] { (Pull Request)
Stage "Pull Request" skipped due to when conditional
[Pipeline] stage
[Pipeline] { (Set title)
Stage "Pull Request" skipped due to when conditional
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Build docker image)
Stage "Pull Request" skipped due to when conditional
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Compile)
Stage "Pull Request" skipped due to when conditional
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Re-compile w/ timeout)
Stage "Pull Request" skipped due to when conditional
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Test)
Stage "Pull Request" skipped due to when conditional
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Test clean target)
Stage "Pull Request" skipped due to when conditional
[Pipeline] }
[Pipeline] // stage
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Merged to master)
[Pipeline] node
Running on rvwork-2 in /home/jenkins-slave/workspace/c-semantics_master
[Pipeline] {
[Pipeline] checkout
using credential github
Wiping out workspace first.
Cloning the remote Git repository
Cloning repository https://github.com/kframework/c-semantics.git
 > git init /home/jenkins-slave/workspace/c-semantics_master # timeout=10
Using reference repository: /home/jenkins-slave/devops.git
Fetching upstream changes from https://github.com/kframework/c-semantics.git
 > git --version # timeout=10
using GIT_ASKPASS to set credentials GitHub Access Token
 > git fetch --tags --progress -- https://github.com/kframework/c-semantics.git +refs/heads/*:refs/remotes/origin/* # timeout=10
Checking out Revision 8b04b86ac303b19eb4f044fddd5561d96c874322 (master)
Commit message: "Fix parsing for -Wno-file-error (#633)"
 > git config remote.origin.url https://github.com/kframework/c-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/c-semantics.git # timeout=10
Fetching upstream changes from https://github.com/kframework/c-semantics.git
using GIT_ASKPASS to set credentials GitHub Access Token
 > git fetch --tags --progress -- https://github.com/kframework/c-semantics.git +refs/heads/master:refs/remotes/origin/master # timeout=10
 > git config core.sparsecheckout # timeout=10
 > git checkout -f 8b04b86ac303b19eb4f044fddd5561d96c874322 # timeout=10
 > git rev-list --no-walk cba8d83da21690e94a832bdf275b9481aec5761f # 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/k.url # timeout=10
 > git config -f .gitmodules --get submodule..build/k.path # timeout=10
 > git submodule update --init --recursive --reference /home/jenkins-slave/devops.git .build/k # timeout=10
[Pipeline] withEnv
[Pipeline] {
[Pipeline] stage
[Pipeline] { (Build docker image)
[Pipeline] script
[Pipeline] {
[Pipeline] isUnix
[Pipeline] sh
+ docker build -t runtimeverificationinc/c-semantics:latest .
Sending build context to Docker daemon    186MB

Step 1/10 : FROM runtimeverificationinc/kframework:ubuntu-bionic
ubuntu-bionic: Pulling from runtimeverificationinc/kframework
Digest: sha256:65502b8e0b47e416b7f51d7b37b07256c41829c5edc545e3ddfe3688c81d6218
Status: Downloaded newer image for runtimeverificationinc/kframework:ubuntu-bionic
 ---> 5a700dd2c3ad
Step 2/10 : RUN     apt-get update -q     &&  apt install --yes           libstdc++6                llvm-6.0                  clang++-6.0               clang-6.0
 ---> Using cache
 ---> 1819d4040974
Step 3/10 : RUN    git clone 'https://github.com/z3prover/z3' --branch=z3-4.8.7     && cd z3                                                            && python scripts/mk_make.py                                        && cd build                                                         && make -j8                                                         && make install                                                     && cd ../..                                                         && rm -rf z3
 ---> Using cache
 ---> 378fd1970e03
Step 4/10 : USER user:user
 ---> Using cache
 ---> 97123e8a6972
Step 5/10 : COPY --from=runtimeverificationinc/perl:ubuntu-bionic      --chown=user:user      /home/user/perl5      /home/user/perl5
ubuntu-bionic: Pulling from runtimeverificationinc/perl
7413c47ba209: Already exists
0fe7e7cbb2e8: Already exists
1d425c982345: Already exists
344da5c95cec: Already exists
168a746b665d: Pulling fs layer
959fe92c399b: Pulling fs layer
274f166424f6: Pulling fs layer
7f66b81925c6: Pulling fs layer
54e94f2a5421: Pulling fs layer
defbeebc3b50: Pulling fs layer
defbeebc3b50: Waiting
54e94f2a5421: Waiting
7f66b81925c6: Waiting
168a746b665d: Verifying Checksum
168a746b665d: Download complete
274f166424f6: Download complete
168a746b665d: Pull complete
959fe92c399b: Download complete
7f66b81925c6: Verifying Checksum
7f66b81925c6: Download complete
defbeebc3b50: Verifying Checksum
defbeebc3b50: Download complete
959fe92c399b: Pull complete
274f166424f6: Pull complete
7f66b81925c6: Pull complete
54e94f2a5421: Verifying Checksum
54e94f2a5421: Download complete
54e94f2a5421: Pull complete
defbeebc3b50: Pull complete
Digest: sha256:a7400f90cc8a5449e5d5f0cafe4a0b4b43d74fcc5c83eb4b2a8a421ba5cc7d11
Status: Downloaded newer image for runtimeverificationinc/perl:ubuntu-bionic
 ---> Using cache
 ---> f825bbd64cee
Step 6/10 : COPY --from=runtimeverificationinc/ocaml:ubuntu-bionic      --chown=user:user      /home/user/.opam      /home/user/.opam
ubuntu-bionic: Pulling from runtimeverificationinc/ocaml
7413c47ba209: Already exists
0fe7e7cbb2e8: Already exists
1d425c982345: Already exists
344da5c95cec: Already exists
168a746b665d: Already exists
959fe92c399b: Already exists
274f166424f6: Already exists
7f66b81925c6: Already exists
5b27be4a3fd4: Pulling fs layer
5f8e31c70517: Pulling fs layer
324d9497116f: Pulling fs layer
5f8e31c70517: Verifying Checksum
5f8e31c70517: Download complete
324d9497116f: Verifying Checksum
324d9497116f: Download complete
5b27be4a3fd4: Verifying Checksum
5b27be4a3fd4: Download complete
5b27be4a3fd4: Pull complete
5f8e31c70517: Pull complete
324d9497116f: Pull complete
Digest: sha256:cdb6dc072777816beaa5b9f07d159c46ba52a6f2d660ea5da8585b5c1d0bf694
Status: Downloaded newer image for runtimeverificationinc/ocaml:ubuntu-bionic
 ---> Using cache
 ---> 2dfc02926423
Step 7/10 : ENV DEPS_DIR="/home/user/c-semantics-deps"
 ---> Using cache
 ---> 382c13be9b16
Step 8/10 : COPY --chown=user:user ./.build/k/ ${DEPS_DIR}/k
 ---> Using cache
 ---> 3d530ae886aa
Step 9/10 : RUN cd ${DEPS_DIR}/k   && mvn package -q -U       -DskipTests -DskipKTest       -Dhaskell.backend.skip -Dllvm.backend.skip       -Dcheckstyle.skip
 ---> Using cache
 ---> 76f3724b80ce
Step 10/10 : ENV K_BIN="${DEPS_DIR}/k/k-distribution/target/release/k/bin"
 ---> Using cache
 ---> 700a3858967a
Successfully built 700a3858967a
Successfully tagged runtimeverificationinc/c-semantics:latest
[Pipeline] }
[Pipeline] // script
[Pipeline] }
[Pipeline] // stage
[Pipeline] }
[Pipeline] // withEnv
[Pipeline] }
[Pipeline] // node
[Pipeline] }
[Pipeline] // stage
[Pipeline] }
[Pipeline] // ansiColor
[Pipeline] End of Pipeline

GitHub has been notified of this commit’s build result

Finished: SUCCESS