Started 2 mo 20 days ago
Took 10 sec on amp-jenkins-worker-05

Failed Build #3032 (Jun 28, 2019 3:40:44 PM)

PR #2176: [ADAM-2172] Rename reads to...
No changes.

GitHub pull request #2176 of commit 061169cd0bb3b3d5d511ac8af233c7adf9143263 automatically merged.

Revision: 596b104babd442afe8e9aa684878d18214f54e03
  • origin/pr/2176/merge
Test Result (no tests)

    Configurations

    FailedSCALAVER=2.11 FailedSCALAVER=2.12