[gtk: 9/9] Merge branch 'ci-docs' into 'master'

[Emmanuele Bassi <ebassi src gnome org>]

commit 06ff60aa3527676663c8f9fb851c053c2979fde8
Merge: 64ff12dbd7 341b2a3d39
Author: Emmanuele Bassi <ebassi gmail com>
Date:   Tue Feb 25 19:47:57 2020 +0000

    Merge branch 'ci-docs' into 'master'
    
    Restructure CI jobs
    
    See merge request GNOME/gtk!1476

 .gitlab-ci.yml                     | 50 +++++++++++++++++++++++++++-----------
 .gitlab-ci/fedora.Dockerfile       |  1 +
 .gitlab-ci/run-docker.sh           | 33 ++++++++++++++-----------
 .gitlab-ci/run-style-check-diff.sh |  7 ++++--
 4 files changed, 61 insertions(+), 30 deletions(-)
---