StepArgumentsStatus
Start of Pipeline - (8 min 52 sec in block)Success
Color ANSI Console Output : Start - (8 min 51 sec in block)xtermConsole OutputSuccess
Color ANSI Console Output : Body : Start - (8 min 51 sec in block)Success
Stage : Start - (0.9 sec in block)Pull RequestConsole OutputSuccess
Pull Request - (0.8 sec in block)Success
Stage : Start - (0.13 sec in block)Set titleConsole OutputSuccess
Set title - (52 ms in block)Success
Stage : Start - (0.11 sec in block)Build docker imageConsole OutputSuccess
Build docker image - (37 ms in block)Success
Stage : Start - (0.11 sec in block)CompileConsole OutputSuccess
Compile - (36 ms in block)Success
Stage : Start - (0.1 sec in block)Re-compile w/ timeoutConsole OutputSuccess
Re-compile w/ timeout - (32 ms in block)Success
Stage : Start - (0.11 sec in block)TestConsole OutputSuccess
Test - (32 ms in block)Success
Stage : Start - (0.1 sec in block)Test clean targetConsole OutputSuccess
Test clean target - (49 ms in block)Success
Stage : Start - (8 min 50 sec in block)Merged to masterConsole OutputSuccess
Merged to master - (8 min 50 sec in block)Success
Allocate node : Start - (8 min 50 sec in block)Console OutputSuccess
Allocate node : Body : Start - (8 min 50 sec in block)Success
Check out from version control - (15 sec in self)Console OutputSuccess
Set environment variables : Start - (8 min 34 sec in block)GIT_BRANCH, GIT_COMMIT, GIT_PREVIOUS_COMMIT, GIT_PREVIOUS_SUCCESSFUL_COMMIT, GIT_URLConsole OutputSuccess
Set environment variables : Body : Start - (8 min 34 sec in block)Success
Stage : Start - (7 min 7 sec in block)Build docker imageConsole OutputSuccess
Build docker image - (7 min 7 sec in block)Success
Run arbitrary Pipeline script : Start - (7 min 7 sec in block)Console OutputSuccess
Run arbitrary Pipeline script : Body : Start - (7 min 6 sec in block)Success
Shell Script - (7 min 6 sec in self)docker build -t runtimeverificationinc/c-semantics:latest .Console OutputSuccess
Stage : Start - (1 min 27 sec in block)Push to dockerhubConsole OutputSuccess
Push to dockerhub - (1 min 27 sec in block)Success
Run arbitrary Pipeline script : Start - (1 min 27 sec in block)Console OutputSuccess
Run arbitrary Pipeline script : Body : Start - (1 min 26 sec in block)Success
Set environment variables : Start - (1 min 26 sec in block)DOCKER_REGISTRY_URLConsole OutputSuccess
Set environment variables : Body : Start - (1 min 26 sec in block)Success
Sets up Docker registry endpoint : Start - (1 min 26 sec in block)Console OutputSuccess
Sets up Docker registry endpoint : Body : Start - (1 min 25 sec in block)Success
Shell Script - (0.37 sec in self)docker tag runtimeverificationinc/c-semantics:latest runtimeverificationinc/c-semantics:latestConsole OutputSuccess
Shell Script - (1 min 25 sec in self)docker push runtimeverificationinc/c-semantics:latestConsole OutputSuccess