[gjs: 15/15] Merge branch 'smaller-ci-phase1' into 'master'

[Philip Chimento <pchimento src gnome org>]

commit be50074e4d07e118636c1187e8654e08dff52ab4
Merge: cb513918 bfb7de0d
Author: Philip Chimento <philip chimento gmail com>
Date:   Fri Sep 20 00:56:12 2019 +0000

    Merge branch 'smaller-ci-phase1' into 'master'
    
    Smaller CI, phase 1
    
    See merge request GNOME/gjs!339

 .gitlab-ci.yml                               | 257 ++++++---------------------
 .lint-condo.yaml                             |   3 +
 README.md                                    |   1 -
 test/ci-images.sh                            |   7 +-
 test/extra/Dockerfile.arm64v8.fedora.29      |  11 --
 test/extra/Dockerfile.fedora.static-analysis |   4 +-
 test/extra/Dockerfile.ppc64le.fedora.29      |  11 --
 test/extra/do_basic.sh                       |  79 ++------
 test/extra/do_docker.sh                      |  20 +--
 test/extra/do_environment.sh                 |  90 +---------
 test/extra/do_mozilla.sh                     |  39 +---
 test/gjs-test-coverage.cpp                   |   3 +-
 test/org.gnome.GjsDevel.json                 |  52 ------
 test/test-ci.sh                              | 175 +++++-------------
 14 files changed, 141 insertions(+), 611 deletions(-)
---