Merge "Use Travis CI cache and reduce clone depth to speed up setup time"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 11 Dec 2018 00:04:20 +0000 (00:04 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 11 Dec 2018 00:04:20 +0000 (00:04 +0000)
commit4b63435781c879f2b27d511ffb451b2e2e3f475e
tree28d500b45ce179742ac4f055c2e7f3659515f2e6
parentf310541eda07e43fd13683345cd967685ff2f34a
parent236b7ae8493d54f7586e4815343299688cc49e6a
Merge "Use Travis CI cache and reduce clone depth to speed up setup time"