RedisCI

Details for run #9 (err)

redis-unstable-valgrind (62a4b81)

Tue Dec 05 17:24:55 CET 2017

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