[gtk: 2/2] Merge branch 'gitlab-ci-docker' into 'master'

[Emmanuele Bassi <ebassi src gnome org>]

commit 716f7cd3f77174090e0d886985a9be83928ade2e
Merge: 7f25cc9d4e dfc1f76be7
Author: Emmanuele Bassi <ebassi gmail com>
Date:   Wed Feb 14 23:38:58 2018 +0000

    Merge branch 'gitlab-ci-docker' into 'master'
    
    Add gitlab-ci support using a prebuilt docker image
    
    See merge request GNOME/gtk!7

 .gitlab-ci.yml            | 18 ++++++++++++++++
 .gitlab-ci/Dockerfile     | 52 +++++++++++++++++++++++++++++++++++++++++++++++
 .gitlab-ci/run-docker.sh  |  9 ++++++++
 .gitlab-ci/test-docker.sh |  9 ++++++++
 4 files changed, 88 insertions(+)
---