[mutter] (2 commits) Non-fast-forward update to branch wip/carlosg/ci-coverity



The branch 'wip/carlosg/ci-coverity' was changed in a way that was not a fast-forward update.
NOTE: This may cause problems for people pulling from the branch. For more information,
please see:

 https://wiki.gnome.org/Git/Help/NonFastForward

Commits removed from the branch:

  f4c0c1b... ci: Run coverage target by default
  bbe7299... ci: Add job for pushing coverity reports

Commits added to the branch:

  232dcad... ci: Run coverage target by default (*)
  0c505d6... ci: Add job for pushing coverity reports

(*) 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]