Started 3 days 15 hr ago
Took 12 sec on research-jenkins-worker-07

Failed Build #11934 (Feb 13, 2019 10:39:23 PM)

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

GitHub pull request #3950 of commit 4652155196cbe81f3f7c9bbf1aaa4360a30bdc63 automatically merged.

Revision: 230891b1bb6ca2947e2f9e4f14e47c87ab96b6e3
  • origin/pr/3950/merge