Merge branch 'v0.x' into 'main'

CI fixes

See merge request naaice/poet!24

.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:

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