diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 5dc36fc1d3a3ad3ca3c8327db7e105448f9f89bb..9aa9ca848c7ce68f7e025d316303a09116525973 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -70,6 +70,8 @@ stages:
     - cd "$PROJECT_PATH_IN_WORKSPACE/build"
     - make doc
 
+    - du -sh build/*
+
 
 build-and-test-bionic:
   stage: build-and-test
diff --git a/.gitlab/ci/armarx-workspace.json b/.gitlab/ci/armarx-workspace.json
index 826dd77479d84b07a228a22857d81de3cedfbf0c..851e2518ef9ef780de1603c00916a0dd9c9842e7 100644
--- a/.gitlab/ci/armarx-workspace.json
+++ b/.gitlab/ci/armarx-workspace.json
@@ -1,6 +1,7 @@
 {
   "modules": {
     "tools/ccache/default": {},
+    "deps/doxygen": {},
     "simox": {}
   },
   "global": {