SuccessConsole Output

Started by timer with parameters: {AUTOMERGE_PRS=true}
12:05:00 Connecting to https://api.github.com using dwightguth/****** (GitHub Access Token)
Obtained Jenkinsfile from 8f981af77e070a7276ea2bfcac10bc0912c0bf7a
Running in Durability level: MAX_SURVIVABILITY
[Pipeline] Start of Pipeline
[Pipeline] withCredentials
Masking supported pattern matches of $AWS_ACCESS_KEY_ID or $AWS_SECRET_ACCESS_KEY or $GITHUB_TOKEN
[Pipeline] {
[Pipeline] withEnv
[Pipeline] {
[Pipeline] ansiColor
[Pipeline] {
[Pipeline] stage
[Pipeline] { (Kill old builds)
[Pipeline] timeout
Timeout set to expire in 2 min 0 sec
[Pipeline] {
Stage "Kill old builds" skipped due to when conditional
[Pipeline] }
[Pipeline] // timeout
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Heavyweight Node)
[Pipeline] timeout
Timeout set to expire in 8 min 0 sec
[Pipeline] {
[Pipeline] stage
[Pipeline] { (On Docker Node)
[Pipeline] node
Running on rvwork-3 in /home/jenkins-slave/workspace/rv-devops_master
[Pipeline] {
[Pipeline] stage
[Pipeline] { (Checkout SCM)
[Pipeline] checkout
using credential github
Wiping out workspace first.
Cloning the remote Git repository
Cloning with configured refspecs honoured and without tags
Fetching without tags
Checking out Revision 8f981af77e070a7276ea2bfcac10bc0912c0bf7a (master)
Commit message: "update-deps/update-deps: make sure that correct remote branch name is used too"
Cloning repository https://github.com/runtimeverification/devops.git
 > git init /home/jenkins-slave/workspace/rv-devops_master # timeout=10
Fetching upstream changes from https://github.com/runtimeverification/devops.git
 > git --version # timeout=10
using GIT_ASKPASS to set credentials GitHub Access Token
 > git fetch --no-tags --progress https://github.com/runtimeverification/devops.git +refs/heads/master:refs/remotes/origin/master
 > git config remote.origin.url https://github.com/runtimeverification/devops.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/devops.git # timeout=10
Fetching upstream changes from https://github.com/runtimeverification/devops.git
using GIT_ASKPASS to set credentials GitHub Access Token
 > git fetch --no-tags --progress https://github.com/runtimeverification/devops.git +refs/heads/master:refs/remotes/origin/master
 > git config core.sparsecheckout # timeout=10
 > git checkout -f 8f981af77e070a7276ea2bfcac10bc0912c0bf7a
 > git rev-list --no-walk 8f981af77e070a7276ea2bfcac10bc0912c0bf7a # timeout=10
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Update Dependencies)
[Pipeline] getContext
[Pipeline] isUnix
[Pipeline] readFile
[Pipeline] sh
+ id -u
+ id -g
+ docker build -t 156bb468e43678384924e91de99971a50e1d80ad --build-arg USER_ID=1001 --build-arg GROUP_ID=1001 -f update-deps/Dockerfile update-deps
Sending build context to Docker daemon  13.82kB

Step 1/6 : FROM archlinux/base
 ---> c767d90efdb9
Step 2/6 : RUN pacman -Syyu --noconfirm &&     pacman -S --noconfirm openssh git hub jq
 ---> Using cache
 ---> a67ecd7f689f
Step 3/6 : ARG USER_ID=1000
 ---> Using cache
 ---> c0abdb702cd5
Step 4/6 : ARG GROUP_ID=1000
 ---> Using cache
 ---> a74315a2fbb5
Step 5/6 : RUN groupadd -g $GROUP_ID user &&     useradd -m -u $USER_ID -s /bin/sh -g user user
 ---> Using cache
 ---> 7a5c9269efa7
Step 6/6 : USER $USER_ID:$GROUP_ID
 ---> Using cache
 ---> 5725fb336416
Successfully built 5725fb336416
Successfully tagged 156bb468e43678384924e91de99971a50e1d80ad:latest
[Pipeline] dockerFingerprintFrom
[Pipeline] sh
+ docker inspect -f . 156bb468e43678384924e91de99971a50e1d80ad
.
[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/rv-devops_master -v /home/jenkins-slave/workspace/rv-devops_master:/home/jenkins-slave/workspace/rv-devops_master:rw,z -v /home/jenkins-slave/workspace/rv-devops_master@tmp:/home/jenkins-slave/workspace/rv-devops_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 ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** 156bb468e43678384924e91de99971a50e1d80ad cat
$ docker top 5a2b7f04ec93403eab5549fa76f7c118e3a327aad96e54eed0ab9f2c8d8e4887 -eo pid,comm
[Pipeline] {
[Pipeline] stage
[Pipeline] { (Initialize Git/SSH)
[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 5a2b7f04ec93403eab5549fa76f7c118e3a327aad96e54eed0ab9f2c8d8e4887 ssh-agent
SSH_AUTH_SOCK=/tmp/ssh-YI7D3EoTBiAW/agent.12
SSH_AGENT_PID=17
Running ssh-add (command line suppressed)
Identity added: /home/jenkins-slave/workspace/rv-devops_master@tmp/private_key_15852218257995146665.key (/home/jenkins-slave/workspace/rv-devops_master@tmp/private_key_15852218257995146665.key)
[ssh-agent] Started.
[Pipeline] {
[Pipeline] sh
+ git config --global user.email admin@runtimeverification.com
+ git config --global user.name 'RV Jenkins'
+ mkdir -p /home/user/.ssh
+ cp update-deps/ssh_config /home/user/.ssh/config
+ 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,192.30.253.113' (RSA) to the list of known hosts.
Hi rv-jenkins! You've successfully authenticated, but GitHub does not provide shell access.
+ true
[Pipeline] }
$ docker exec --env ******** --env ******** 5a2b7f04ec93403eab5549fa76f7c118e3a327aad96e54eed0ab9f2c8d8e4887 ssh-agent -k
unset SSH_AUTH_SOCK;
unset SSH_AGENT_PID;
echo Agent pid 17 killed;
[ssh-agent] Stopped.
[Pipeline] // sshagent
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Automerge PRs)
[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 5a2b7f04ec93403eab5549fa76f7c118e3a327aad96e54eed0ab9f2c8d8e4887 ssh-agent
SSH_AUTH_SOCK=/tmp/ssh-oBekjj6vB5mv/agent.50
SSH_AGENT_PID=55
Running ssh-add (command line suppressed)
Identity added: /home/jenkins-slave/workspace/rv-devops_master@tmp/private_key_3463752448187230312.key (/home/jenkins-slave/workspace/rv-devops_master@tmp/private_key_3463752448187230312.key)
[ssh-agent] Started.
[Pipeline] {
[Pipeline] sh
+ ./update-deps/update-deps automerge kframework/llvm-backend
== update-deps: Cloning repo 'ssh://github.com/kframework/llvm-backend' to directory 'tmp-llvm-backend'
Cloning into 'tmp-llvm-backend'...
== update-deps: Merge PRs: Finding an automerge PR which is (i) approved, (ii) passing tests, and (iii) up to date.

== update-deps: Avoid build pressure: Finding an automerge PR which is (i) approved, (ii) not known to be failing, and (iii) up to date.
== update-deps: Updating branches: Finding an automerge PR which is (i) approved, (ii) passing, and (iii) not up to date.

== update-deps: Automerger finished!
+ ./update-deps/update-deps automerge kframework/kore
== update-deps: Cloning repo 'ssh://github.com/kframework/kore' to directory 'tmp-kore'
Cloning into 'tmp-kore'...
== update-deps: Merge PRs: Finding an automerge PR which is (i) approved, (ii) passing tests, and (iii) up to date.

== update-deps: Avoid build pressure: Finding an automerge PR which is (i) approved, (ii) not known to be failing, and (iii) up to date.
== update-deps: Updating branches: Finding an automerge PR which is (i) approved, (ii) passing, and (iii) not up to date.

== update-deps: Automerger finished!
+ ./update-deps/update-deps automerge kframework/k
== update-deps: Cloning repo 'ssh://github.com/kframework/k' to directory 'tmp-k'
Cloning into 'tmp-k'...
== update-deps: Merge PRs: Finding an automerge PR which is (i) approved, (ii) passing tests, and (iii) up to date.

== update-deps: Avoid build pressure: Finding an automerge PR which is (i) approved, (ii) not known to be failing, and (iii) up to date.
== update-deps: Updating branches: Finding an automerge PR which is (i) approved, (ii) passing, and (iii) not up to date.

== update-deps: Automerger finished!
+ ./update-deps/update-deps automerge runtimeverification/blockchain-k-plugin
== update-deps: Cloning repo 'ssh://github.com/runtimeverification/blockchain-k-plugin' to directory 'tmp-blockchain-k-plugin'
Cloning into 'tmp-blockchain-k-plugin'...
Warning: Permanently added the RSA host key for IP address '140.82.114.4' to the list of known hosts.
== update-deps: Merge PRs: Finding an automerge PR which is (i) approved, (ii) passing tests, and (iii) up to date.

== update-deps: Avoid build pressure: Finding an automerge PR which is (i) approved, (ii) not known to be failing, and (iii) up to date.
== update-deps: Updating branches: Finding an automerge PR which is (i) approved, (ii) passing, and (iii) not up to date.

== update-deps: Automerger finished!
+ ./update-deps/update-deps automerge kframework/wasm-semantics
== update-deps: Cloning repo 'ssh://github.com/kframework/wasm-semantics' to directory 'tmp-wasm-semantics'
Cloning into 'tmp-wasm-semantics'...
== update-deps: Merge PRs: Finding an automerge PR which is (i) approved, (ii) passing tests, and (iii) up to date.

== update-deps: Avoid build pressure: Finding an automerge PR which is (i) approved, (ii) not known to be failing, and (iii) up to date.
== update-deps: Updating branches: Finding an automerge PR which is (i) approved, (ii) passing, and (iii) not up to date.

== update-deps: Automerger finished!
+ ./update-deps/update-deps automerge kframework/evm-semantics
== update-deps: Cloning repo 'ssh://github.com/kframework/evm-semantics' to directory 'tmp-evm-semantics'
Cloning into 'tmp-evm-semantics'...
== update-deps: Merge PRs: Finding an automerge PR which is (i) approved, (ii) passing tests, and (iii) up to date.

== update-deps: Avoid build pressure: Finding an automerge PR which is (i) approved, (ii) not known to be failing, and (iii) up to date.
== update-deps: Updating branches: Finding an automerge PR which is (i) approved, (ii) passing, and (iii) not up to date.

== update-deps: Automerger finished!
+ ./update-deps/update-deps automerge runtimeverification/firefly
== update-deps: Cloning repo 'ssh://github.com/runtimeverification/firefly' to directory 'tmp-firefly'
Cloning into 'tmp-firefly'...
== update-deps: Merge PRs: Finding an automerge PR which is (i) approved, (ii) passing tests, and (iii) up to date.

== update-deps: Avoid build pressure: Finding an automerge PR which is (i) approved, (ii) not known to be failing, and (iii) up to date.
== update-deps: Updating branches: Finding an automerge PR which is (i) approved, (ii) passing, and (iii) not up to date.

== update-deps: Automerger finished!
+ ./update-deps/update-deps automerge runtimeverification/mkr-mcd-spec
== update-deps: Cloning repo 'ssh://github.com/runtimeverification/mkr-mcd-spec' to directory 'tmp-mkr-mcd-spec'
Cloning into 'tmp-mkr-mcd-spec'...
== update-deps: Merge PRs: Finding an automerge PR which is (i) approved, (ii) passing tests, and (iii) up to date.

== update-deps: Avoid build pressure: Finding an automerge PR which is (i) approved, (ii) not known to be failing, and (iii) up to date.
== update-deps: Updating branches: Finding an automerge PR which is (i) approved, (ii) passing, and (iii) not up to date.

== update-deps: Automerger finished!
+ ./update-deps/update-deps automerge runtimeverification/beacon-chain-spec
== update-deps: Cloning repo 'ssh://github.com/runtimeverification/beacon-chain-spec' to directory 'tmp-beacon-chain-spec'
Cloning into 'tmp-beacon-chain-spec'...
== update-deps: Merge PRs: Finding an automerge PR which is (i) approved, (ii) passing tests, and (iii) up to date.

== update-deps: Avoid build pressure: Finding an automerge PR which is (i) approved, (ii) not known to be failing, and (iii) up to date.
== update-deps: Updating branches: Finding an automerge PR which is (i) approved, (ii) passing, and (iii) not up to date.

== update-deps: Automerger finished!
+ ./update-deps/update-deps automerge runtimeverification/polkadot-verification
== update-deps: Cloning repo 'ssh://github.com/runtimeverification/polkadot-verification' to directory 'tmp-polkadot-verification'
Cloning into 'tmp-polkadot-verification'...
== update-deps: Merge PRs: Finding an automerge PR which is (i) approved, (ii) passing tests, and (iii) up to date.

== update-deps: Avoid build pressure: Finding an automerge PR which is (i) approved, (ii) not known to be failing, and (iii) up to date.
== update-deps: Updating branches: Finding an automerge PR which is (i) approved, (ii) passing, and (iii) not up to date.

== update-deps: Automerger finished!
[Pipeline] }
$ docker exec --env ******** --env ******** 5a2b7f04ec93403eab5549fa76f7c118e3a327aad96e54eed0ab9f2c8d8e4887 ssh-agent -k
unset SSH_AUTH_SOCK;
unset SSH_AGENT_PID;
echo Agent pid 55 killed;
[ssh-agent] Stopped.
[Pipeline] // sshagent
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Update Submodule Dependencies)
Stage "Update Submodule Dependencies" skipped due to when conditional
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Update Release URL Dependencies)
Stage "Update Release URL Dependencies" skipped due to when conditional
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Update Repository Dependencies)
[Pipeline] parallel
[Pipeline] { (Branch: K Repository - Haskell Backend)
[Pipeline] { (Branch: K Repository - LLVM Backend)
[Pipeline] { (Branch: C Semantics)
[Pipeline] { (Branch: RV Match)
[Pipeline] stage
[Pipeline] { (K Repository - Haskell Backend)
[Pipeline] stage
[Pipeline] { (K Repository - LLVM Backend)
[Pipeline] stage
[Pipeline] { (C Semantics)
[Pipeline] stage
[Pipeline] { (RV Match)
Stage "K Repository - Haskell Backend" skipped due to when conditional
[Pipeline] }
Stage "K Repository - LLVM Backend" skipped due to when conditional
[Pipeline] }
Stage "C Semantics" skipped due to when conditional
[Pipeline] }
Stage "RV Match" skipped due to when conditional
[Pipeline] }
[Pipeline] // stage
[Pipeline] // stage
[Pipeline] // stage
[Pipeline] // stage
[Pipeline] }
[Pipeline] }
[Pipeline] }
[Pipeline] }
[Pipeline] // parallel
[Pipeline] }
[Pipeline] // stage
[Pipeline] }
$ docker stop --time=1 5a2b7f04ec93403eab5549fa76f7c118e3a327aad96e54eed0ab9f2c8d8e4887
$ docker rm -f 5a2b7f04ec93403eab5549fa76f7c118e3a327aad96e54eed0ab9f2c8d8e4887
[Pipeline] // withDockerContainer
[Pipeline] }
[Pipeline] // stage
[Pipeline] }
[Pipeline] // node
[Pipeline] }
[Pipeline] // stage
[Pipeline] }
[Pipeline] // timeout
[Pipeline] }
[Pipeline] // stage
[Pipeline] }
[Pipeline] // ansiColor
[Pipeline] }
[Pipeline] // withEnv
[Pipeline] }
[Pipeline] // withCredentials
[Pipeline] End of Pipeline

Could not update commit status, please check if your scan credentials belong to a member of the organization or a collaborator of the repository and repo:status scope is selected


GitHub has been notified of this commit’s build result

Finished: SUCCESS