chiark / gitweb /
~ianmdlvl / fdroidserver.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 91f36ac c633b21)
Merge branch 'ci-split-packages' into 'master'
authorDaniel Martí <mvdan@mvdan.cc>
Tue, 1 Sep 2015 22:42:10 +0000 (22:42 +0000)
committerDaniel Martí <mvdan@mvdan.cc>
Tue, 1 Sep 2015 22:42:10 +0000 (22:42 +0000)
CI: Split up package installing

Advantages:
* Easier to tell why we need each package
* apt-get install output is less scary/huge
* CI job is split in more, smaller steps easier to debug

See merge request !72


Trivial merge
Unnamed repository; edit this file 'description' to name the repository.