Started 13 days ago
Took 6 hr 0 min on research-jenkins-worker-08

Aborted Build #29253 (Jul 31, 2020 3:13:38 PM)

PR #6547: Bazelify Redis
No changes.

GitHub pull request #6547 of commit 1f06d615688e9db8eb0c9c15ef857c43c4907d26 automatically merged.

Revision: 21eafa95643808f4623d00a9ecba367c8da0ef96
  • origin/pr/6547/merge