[gjs: 8/8] Merge branch 'smaller-ci-phase2' into 'master'

[Philip Chimento <pchimento src gnome org>]

commit 6d15c601ceff121c7f9ba640f5f9fdb5358180ef
Merge: 7a18e0b8 074c99ee
Author: Philip Chimento <philip chimento gmail com>
Date:   Fri Sep 20 18:12:41 2019 +0000

    Merge branch 'smaller-ci-phase2' into 'master'
    
    Smaller CI, phase 2
    
    See merge request GNOME/gjs!343

 .gitlab-ci.yml                               | 37 ++++++++-------
 installed-tests/scripts/testExamples.sh      |  8 ----
 test/ci-images.sh                            | 71 ++++++++++++++++++++++++++--
 test/extra/Dockerfile.alpine.cpplint         | 15 ++++++
 test/extra/Dockerfile.fedora.static-analysis | 16 -------
 test/extra/do_basic.sh                       | 25 ----------
 test/extra/do_docker.sh                      | 23 ---------
 test/extra/do_mozilla.sh                     | 18 -------
 8 files changed, 103 insertions(+), 110 deletions(-)
---