Started 5 days 0 hr ago
Took 2 hr 1 min on research-jenkins-worker-07

Failed Build #11847 (Feb 12, 2019 4:23:40 PM)

PR #4023: Use Redis lists in the GCS ...
No changes.

GitHub pull request #4023 of commit 0979197a5a020d0a2f720b814353240b0496dbb0 automatically merged.

Revision: 474471eac2b7c7124f5b0661735d7afefd7539ce
  • origin/pr/4023/merge