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

[Carlos Garnacho <carlosg src gnome org>]

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:

  0c505d6... ci: Add job for pushing coverity reports

Commits added to the branch:

  ebe8cd3... cursor-tracker: Check if coordinates are NULL (*)
  aff14ea... cursor-tracker: Check for NULL coordinates before retrievin (*)
  514b2ff... cursor-tracker: Get the GDK (X11) pointer position in float (*)
  bd12d65... ci: Add job for pushing coverity reports

(*) This commit already existed in another branch; no separate mail sent