chiark / gitweb /
Merge branch 'base-image' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Tue, 29 Mar 2016 16:53:51 +0000 (16:53 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Tue, 29 Mar 2016 16:53:51 +0000 (16:53 +0000)
commit7082e2f2091e23f05603f24f39651b6be7c61e0e
treea624f3b56e1eb1cd1ddd50bc41131dc8337f30d0
parentb72fa0d5a2de4f54b950d09e187c14e7fe496501
parenta6e857985ac4b9e9e05cdf4e38f25eb3c5c649ff
Merge branch 'base-image' into 'master'

CI: Use the new base image

Lighter, since it doesn't include all the stuff required to build and
test the client that we don't need here.

See merge request !116