diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 1a7bf2db0..8a16aae80 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -104,9 +104,9 @@ pages:
   stage: release
   before_script:
     - apt-get update && apt-get install -y doxygen graphviz
-    - mkdir {build,public}
+    - mkdir {build_pages,public}
   script:
-    - pushd build
+    - pushd build_pages
     - cmake .. && make doxygen
     - popd && mv build/docs/html/* public/
   artifacts:
diff --git a/util/ci.Dockerfile b/util/ci.Dockerfile
new file mode 100644
index 000000000..a91583eb9
--- /dev/null
+++ b/util/ci.Dockerfile
@@ -0,0 +1,12 @@
+FROM debian
+
+RUN apt-get update && export DEBIAN_FRONTEND=noninteractive \
+    && apt-get install -y \
+        cmake-curses-gui \
+        clangd \
+        git \
+        libeigen3-dev \
+        libopenmpi-dev \
+        r-cran-rcpp \
+        r-cran-rinside \
+        libssl-dev
\ No newline at end of file