StepArgumentsStatus
Start of Pipeline - (17 min in block)Success
Allocate node : Start - (16 min in block)dockerConsole OutputSuccess
Allocate node : Body : Start - (16 min in block)Success
Stage : Start - (35 sec in block)Declarative: Checkout SCMConsole OutputSuccess
Declarative: Checkout SCM - (35 sec in block)Success
Check out from version control - (35 sec in self)Console OutputSuccess
Set environment variables : Start - (16 min in block)GIT_BRANCH, GIT_COMMIT, GIT_PREVIOUS_COMMIT, GIT_PREVIOUS_SUCCESSFUL_COMMIT, GIT_URLConsole OutputSuccess
Set environment variables : Body : Start - (16 min in block)Success
Color ANSI Console Output : Start - (16 min in block)xtermConsole OutputSuccess
Color ANSI Console Output : Body : Start - (16 min in block)Success
Stage : Start - (0.16 sec in block)Init titleConsole OutputSuccess
Init title - (81 ms in block)Success
Stage : Start - (16 min in block)Build and TestConsole OutputSuccess
Build and Test - (16 min in block)Success
Get contextual object from internal APIs - (32 ms in self)Console OutputSuccess
Checks if running on a Unix-like node - (21 ms in self)Console OutputSuccess
Read file from workspace - (43 ms in self)DockerfileConsole OutputSuccess
Shell Script - (1.6 sec in self)docker build -t 9cd6b132dd09fda2ba80c7a44483fbc45d2e1571 --build-arg USER_ID=$(id -u) --build-arg GROUP_ID=$(id -g) -f "Dockerfile" "."Console OutputSuccess
Record trace of a Docker image used in FROM - (0.4 sec in self)Console OutputSuccess
Shell Script - (0.3 sec in self)docker inspect -f . 9cd6b132dd09fda2ba80c7a44483fbc45d2e1571Console OutputSuccess
Run build steps inside a Docker container : Start - (16 min in block)Console OutputSuccess
Run build steps inside a Docker container : Body : Start - (15 min in block)Success
Stage : Start - (7 min 21 sec in block)DependenciesConsole OutputSuccess
Dependencies - (7 min 21 sec in block)Success
Shell Script - (7 min 21 sec in self) make deps K_BUILD_TYPE=Release Console OutputSuccess
Stage : Start - (7 min 22 sec in block)BuildConsole OutputSuccess
Build - (7 min 22 sec in block)Success
Shell Script - (7 min 22 sec in self) make build -j4 Console OutputSuccess
Stage : Start - (1 min 15 sec in block)TestConsole OutputSuccess
Test - (1 min 15 sec in block)Success
Execute in parallel : Start - (1 min 15 sec in block)Console OutputSuccess
Branch: Run Simulation Tests - (3 ms in block)Success
Stage : Start - (1 min 14 sec in block)Run Simulation TestsConsole OutputSuccess
Run Simulation Tests - (1 min 14 sec in block)Success
Shell Script - (1 min 14 sec in self) make test-execution -j8 Console OutputSuccess
Branch: Python Generator - (0.84 sec in block)Success
Stage : Start - (0.74 sec in block)Python GeneratorConsole OutputSuccess
Python Generator - (0.69 sec in block)Success
Shell Script - (0.6 sec in self) make test-python-generator Console OutputSuccess
Stage : Start - (18 sec in block)DeployConsole OutputSuccess
Deploy - (18 sec in block)Success
Get contextual object from internal APIs - (28 ms in self)Console OutputSuccess
Checks if running on a Unix-like node - (48 ms in self)Console OutputSuccess
Read file from workspace - (45 ms in self)DockerfileConsole OutputSuccess
Shell Script - (6.1 sec in self)docker build -t 9cd6b132dd09fda2ba80c7a44483fbc45d2e1571 --build-arg USER_ID=$(id -u) --build-arg GROUP_ID=$(id -g) -f "Dockerfile" "."Console OutputSuccess
Record trace of a Docker image used in FROM - (0.14 sec in self)Console OutputSuccess
Shell Script - (0.31 sec in self)docker inspect -f . 9cd6b132dd09fda2ba80c7a44483fbc45d2e1571Console OutputSuccess
Run build steps inside a Docker container : Start - (11 sec in block)Console OutputSuccess
Run build steps inside a Docker container : Body : Start - (8.8 sec in block)Success
Stage : Start - (2.6 sec in block)Initialize Git/SSHConsole OutputSuccess
Initialize Git/SSH - (2.5 sec in block)Success
SSH Agent : Start - (2.4 sec in block)Console OutputSuccess
SSH Agent : Body : Start - (0.89 sec in block)Success
Shell Script - (0.81 sec in self) git config --global user.email "admin@runtimeverification.com" git config --global user.name "RV Jenkins" mkdir -p ~/.ssh echo 'host github.com' > ~/.ssh/config echo ' hostname github.com' >> ~/.ssh/config echo ' user git' >> ~/.ssh/config echo ' identityagent SSH_AUTH_SOCK' >> ~/.ssh/config echo ' stricthostkeychecking accept-new' >> ~/.ssh/config chmod go-rwx -R ~/.ssh ssh github.com || true Console OutputSuccess
Stage : Start - (6.1 sec in block)Push GitHub PagesConsole OutputSuccess
Push GitHub Pages - (6 sec in block)Success
SSH Agent : Start - (5.9 sec in block)Console OutputSuccess
SSH Agent : Body : Start - (4.6 sec in block)Success
Shell Script - (4.5 sec in self) git remote set-url origin 'ssh://github.com/runtimeverification/mkr-mcd-spec' git checkout -B 'gh-pages' rm -rf .build .gitignore deps .gitmodules Dockerfile Jenkinsfile Makefile kmcd mcd-pyk.py git add ./ git commit -m 'gh-pages: remove unrelated content' git fetch origin gh-pages git merge --strategy ours FETCH_HEAD git push origin gh-pages Console OutputSuccess