Started 4 days 16 hr ago
Took 3 hr 0 min on amp-jenkins-staging-worker-02

Aborted Build #11839 (Feb 12, 2019 1:40:04 PM)

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

GitHub pull request #4023 of commit cbbb3a1c87fc341159ba31ad12e73b4963204191 automatically merged.