Started 1 day 15 hr ago
Took 12 sec on research-jenkins-worker-07

Failed Build #11927 (Feb 13, 2019 10:00:29 PM)

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

GitHub pull request #3950 of commit 714df529679daffaa92dc41bf62fef6ae1921948 automatically merged.

Revision: 60709d835f1390c5b392a5dce8cfd67cde2dc732
  • origin/pr/3950/merge