Started 2 days 19 hr ago
Took 1 hr 15 min on research-jenkins-worker-07

Failed Build #11941 (Feb 14, 2019 1:19:56 AM)

PR #4039: Propagate backend error to ...
No changes.

GitHub pull request #4039 of commit 6d93fb29e238b1de7e0e22c47b7c3d29eb6a768e automatically merged.

Revision: e42a8072351702701a92c1ab00854b5a503ecbba
  • origin/pr/4039/merge