Started 8 days 2 hr ago
Took 3 hr 0 min on amp-jenkins-staging-worker-02

Aborted Build #12900 (Mar 15, 2019 1:08:13 PM)

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

GitHub pull request #4234 of commit 97c83a90cc7b03695972c97b49906353995ec54e automatically merged.

Revision: 0f8399c8796b433f36f1d130d6f149a081f247ef
  • origin/pr/4234/merge