jenkins/clone.sh · 31c15dcb80c8f11fd03dbb9b0ccff4777dc8e457 · TeDomum / Matrix

8 years ago

Mark Haines authored 8 years ago

* Factor out more common code from the jenkins scripts

* Fix install_and_run path

* Poke jenkins

* Poke jenkins

1fc50712

Mark Haines authored 8 years ago

* Factor out more common code from the jenkins scripts

* Fix install_and_run path

* Poke jenkins

* Poke jenkins