Started 3 days 14 hr ago
Took 1 hr 22 min on research-jenkins-worker-08

Failed Build #11884 (Feb 13, 2019 4:44:20 AM)

PR #4039: [wip] Propagate backend err...
No changes.

GitHub pull request #4039 of commit ff270289267a826e5de79616cfbe2326da8566cc automatically merged.

Revision: 67f5534f7ba117fde3454ae7970e2730b5fa1a0b
  • origin/pr/4039/merge