Started 5 mo 3 days ago
Took 39 min on amp-jenkins-worker-05

Failed Build #2934 (Jan 14, 2019 8:27:27 AM)

PR #2019: Don't discard unmapped read...
No changes.

GitHub pull request #2019 of commit a0cb07e45e73727f38b0247370d51e845cae6bb4.

Revision: a0cb07e45e73727f38b0247370d51e845cae6bb4
  • origin/pr/2019/head
  • origin/pr/2019/merge
Test Result (1 failure / +1)

Configurations

Faileddefault