Started 7 days 13 hr ago
Took 12 sec on research-jenkins-worker-08

Failed Build #11762 (Feb 10, 2019 7:54:13 PM)

PR #3950: Moving tests from test/ to ...
No changes.

GitHub pull request #3950 of commit 22cbc7567a9ed79b9a217f48d8e8e65ecfce571c.

Revision: 22cbc7567a9ed79b9a217f48d8e8e65ecfce571c
  • origin/pr/3950/head