[gjs: 2/2] Merge branch 'web' into 'master'

[Philip Chimento <pchimento src gnome org>]

commit 8e9cac42c5102a21aad1aa8f9a076d03928a8ddb
Merge: fcccc4c7 3a688bca
Author: Philip Chimento <philip chimento gmail com>
Date:   Fri Jul 27 03:18:17 2018 +0000

    Merge branch 'web' into 'master'
    
    Run the GTK real tests (recently added)
    
    See merge request GNOME/gjs!212

 .gitlab-ci.yml                          |  1 +
 installed-tests/scripts/testExamples.sh | 12 +++++-------
 2 files changed, 6 insertions(+), 7 deletions(-)
---