chiark / gitweb /
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)
commit0b0197dba3f76753832502f0c0e22d4b84019c63
treeb6fcf09e49f408a966c6a0c2d25acc6ebdf0222d
parent91f36acaa60fd316ee24f7725a36eb28d791f92b
parentc633b21f6cb80c38f09f2b073e2db4dfe5058b52
Merge branch 'ci-split-packages' into 'master'

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