[gtk: 4/4] Merge branch 'ci-pages' into 'master'

From: Emmanuele Bassi <ebassi src gnome org>
To: commits-list gnome org
Cc:
Subject: [gtk: 4/4] Merge branch 'ci-pages' into 'master'
Date: Wed, 12 Feb 2020 18:39:34 +0000 (UTC)

commit 88e2a060f84ebd2ee7fd24cc4056277056dc7eff
Merge: e1d85aeeb0 4247bf0fb6
Author: Emmanuele Bassi <ebassi gmail com>
Date:   Wed Feb 12 18:38:39 2020 +0000

    Merge branch 'ci-pages' into 'master'
    
    Small CI pipeline fixes
    
    See merge request GNOME/gtk!1419

 .gitlab-ci.yml              |  4 ++--
 .gitlab-ci/flatpak-build.sh | 18 +++++++-----------
 .gitlab-ci/run-tests.sh     | 12 +++++++-----
 3 files changed, 16 insertions(+), 18 deletions(-)
---

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