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

[Philip Chimento <pchimento src gnome org>]

commit 7323116031c39e470fb6b64f12ac8658416749b8
Merge: 29a91bfa 66b474a8
Author: Philip Chimento <philip chimento gmail com>
Date:   Wed Jul 11 08:54:51 2018 +0000

    Merge branch 'save_statistics' into 'master'
    
    Run coverage on every "push"
    
    Closes #177
    
    See merge request GNOME/gjs!186

 .gitlab-ci.yml | 68 +++++++++++++++++++++++++++++-----------------------------
 1 file changed, 34 insertions(+), 34 deletions(-)
---