[tracker-miners] ci: Fix pushd/popd imbalance

[Carlos Garnacho <carlosg src gnome org>]

commit 0fdd96327199f563d96131b15c5f7681b94350f5
Author: Carlos Garnacho <carlosg gnome org>
Date:   Fri Dec 11 12:28:04 2020 +0100

    ci: Fix pushd/popd imbalance
    
    And unbreak the coverity phase with it.

 .gitlab-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 0b22b9fcf..6a59fffcf 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -91,7 +91,7 @@ coverity:
     # tracker code to be included in the coverity reports for tracker-miners.
     - .gitlab-ci/checkout-tracker.sh
     - export INSTALL=`pwd`/install
-    - pushd subprojects/tracker; meson build --libdir lib --prefix $INSTALL; cd build; ninja install; popd; 
popd
+    - pushd subprojects/tracker; meson build --libdir lib --prefix $INSTALL; pushd build; ninja install; 
popd; popd
     - curl https://scan.coverity.com/download/linux64 --data "token=$COVERITY_TOKEN&project=tracker-miners" 
--output /tmp/coverity_tool.tgz
     - tar zxf /tmp/coverity_tool.tgz
     - mkdir coverity-build