[glib: 2/2] Merge branch 'ci-no-coverage-on-dist' into 'master'

From: Xavier Claessens <xclaesse src gnome org>
To: commits-list gnome org
Cc:
Subject: [glib: 2/2] Merge branch 'ci-no-coverage-on-dist' into 'master'
Date: Thu, 30 Aug 2018 14:24:56 +0000 (UTC)

commit f4b3e6269b57aeab224524ea103bc6c4fde97bb3
Merge: bb6eb8c16 3ced28df3
Author: Xavier Claessens <xclaesse gmail com>
Date:   Thu Aug 30 14:24:35 2018 +0000

    Merge branch 'ci-no-coverage-on-dist' into 'master'
    
    ci: Disable the coverage CI job when running dist on a release
    
    See merge request GNOME/glib!284

 .gitlab-ci.yml | 2 ++
 1 file changed, 2 insertions(+)
---

[Date Prev][Date Next] [Thread Prev][Thread Next] [Thread Index] [Date Index] [Author Index]