WIP: pipeline

.docker/Dockerfile

@@ -10,4 +10,5 @@ RUN apt-get install -y python3-pip
 
 COPY doc/requirements.txt requirements.txt
 RUN pip3 install -r requirements.txt
+RUN apt-get install -y cmake=3.16.3-3~bpo10+1