Started 8 days 5 hr ago
Took 2 hr 58 min on research-jenkins-worker-08

Aborted Build #12891 (Mar 15, 2019 10:09:52 AM)

PR #4376: [rllib] Add option to proce...
No changes.

GitHub pull request #4376 of commit 584714ce43bc07a470a26515651e8e8ab6e85348 automatically merged.

Aborted by user rliaw