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

[Philip Chimento <pchimento src gnome org>]

commit 38decc3bd44bd9bcd87f341f141e05e94b6abb8b
Merge: 1d1a0fb7 a2465526
Author: Philip Chimento <philip chimento gmail com>
Date:   Mon Jun 11 05:31:34 2018 +0000

    Merge branch 'coverage' into 'master'
    
    CI: use Ubuntu in the coverage job
    
    See merge request GNOME/gjs!163

 .gitlab-ci.yml  | 3 +--
 test/test-ci.sh | 8 ++++----
 2 files changed, 5 insertions(+), 6 deletions(-)
---