[tracker-miners] (2 commits) ...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 commits) ...Merge branch 'wip/carlosg/fix-coverity-build' into 'master'
- Date: Sun, 24 Oct 2021 12:00:55 +0000 (UTC)
Summary of changes:
a56c8cc... ci: Do not build docs when doing the Coverity build (*)
b5b7235... Merge branch 'wip/carlosg/fix-coverity-build' into 'master'
(*) This commit already existed in another branch; no separate mail sent
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]
