[tracker-miners: 2/2] Merge branch 'wip/carlosg/fix-coverity-build' into 'master'

From: Carlos Garnacho <carlosg src gnome org>
To: commits-list gnome org
Cc:
Subject: [tracker-miners: 2/2] Merge branch 'wip/carlosg/fix-coverity-build' into 'master'
Date: Sun, 24 Oct 2021 12:00:55 +0000 (UTC)


commit b5b7235fe1ec7fba4498a0a87977108a1d98cf96
Merge: 43ca1bcc1 a56c8cc06
Author: Carlos Garnacho <carlosg gnome org>
Date:   Sun Oct 24 12:00:54 2021 +0000

    Merge branch 'wip/carlosg/fix-coverity-build' into 'master'
    
    ci: Do not build docs when doing the Coverity build
    
    See merge request GNOME/tracker-miners!361

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

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