Details for run #9 (err)
redis-unstable-valgrind (f132134)
Wed May 23 13:25:10 CEST 2018
Error in: git pull origin unstable
@!/usr/bin/killall -9 memcheck-amd64-
memcheck-amd64: no process found
child process exited abnormally
@cd /ssd/ci/redis
Working dir is now '/ssd/ci/redis'
@git reset --hard
HEAD is now at b2ab1e0 Remove Lua state reference from buffers in lua_cmsgpack.
@git checkout unstable
Switched to branch 'unstable'
Your branch is up-to-date with 'origin/unstable'.
@git pull origin unstable
fatal: unable to connect to github.com:
github.com: Name or service not known
child process exited abnormally