GitLab CI based on dune modules
Replace the current base docker images in the CI configuration with pdelab-deps or another image that contains most of the dune modules already. Maybe configure a dependency image in the dune docker/ci for amdis.
.gitlab-ci.yml configuration installes all the modules again. This is very time consuming for the runners and slows down the tests.