156 Commits

Author SHA1 Message Date
Daniel Martí
ab1ec07686 Add platform-tools and build-tools to PATH 2015-09-01 21:43:26 -07:00
Daniel Martí
1fcc1dae1c CI: split up package installing 2015-09-01 15:45:13 -07:00
Daniel Martí
f9181b85f9 Install all android sdk packages at once
Spotted by Hans at fdroidserver. The 'update sdk' tool will download the
package index at each run, so installing one package at a time will be rather
inefficient.
2015-09-01 11:31:21 -07:00
Daniel Martí
42e9f7b2dd Gitlab CI: Make apt-get quiet 2015-08-27 15:46:37 -07:00
Daniel Martí
9d59b094e6 Gitlab CI: Install OpenJDK 2015-08-26 21:46:58 -07:00
Daniel Martí
092bdc0578 First try at a gitlab CI script 2015-08-26 20:30:59 -07:00