Started 2 mo 20 days ago
Took 46 min on amp-jenkins-worker-05

Success Build #3034 (Jun 28, 2019 9:12:01 PM)

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

GitHub pull request #2176 of commit 1759d81b95160a67a19807f4f396b5ae128bee5d automatically merged.

Revision: 9d7e4715a1c6f655ada0aa7199e1806f47736795
  • origin/pr/2176/merge
Test Result (no failures)

    Configurations

    SuccessSCALAVER=2.11 SuccessSCALAVER=2.12