chiark / gitweb /
Merge branch 'faster-ci' into 'master'
authorDaniel Martí <mvdan@mvdan.cc>
Sun, 28 Feb 2016 13:35:57 +0000 (13:35 +0000)
committerDaniel Martí <mvdan@mvdan.cc>
Sun, 28 Feb 2016 13:35:57 +0000 (13:35 +0000)
commit9f95c0bbdb48a552606a5f6e3826d0d044a7ab02
tree448a9b81dd9afc082f936386cf63476522b7846f
parente3f60e2b7820ff7f4773bb97bf5cc5e1f858c5ec
parent8106d4ffde0f3c0f56de4db0b08a90af5da5efb6
Merge branch 'faster-ci' into 'master'

CI: Install Android SDK only if necessary

See merge request !106