Started 2 days 21 hr ago
Took 29 min on research-jenkins-worker-08

Aborted Build #12899 (Mar 15, 2019 1:08:03 PM)

PR #4271: Run only relevant tests in ...
No changes.

GitHub pull request #4271 of commit 0015dcefa4aee9c66e72eb9df38b6c443eebdb04 automatically merged.

Revision: d7d1cad38b0aecd044cb872df66b831d391d03e1
  • origin/pr/4271/merge

Aborted by user rliaw