Started 4 days 19 hr ago
Took 3 hr 0 min on amp-jenkins-staging-worker-02

Aborted Build #12854 (Mar 13, 2019 3:14:06 PM)

PR #4234: [tune] Simplify API
No changes.

GitHub pull request #4234 of commit 0d2f081528ec7d8221d533ddc3e1b3d434d5f0c0 automatically merged.

Revision: 6b24558bccf428dc2500dff2b0510b57c8784841
  • origin/pr/4234/merge