diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index dbe3ed281eeaac3547edda212a9679e827d5a055..d54373c952b285dd7a3f050193902a07dbf19510 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -47,6 +47,7 @@ building_stage:
       - cd src
       - echo "Running make ..."
       - make -j
+      - ls ../objects
       - make docs -j && make -C ../doc/build/latex -j
 
 running_stage: