misc/ci.md

   1 Continuous integration is run inside Docker containers.
   2
   3 The corresponding Docker image is loaded from the Gitlab registry. It
   4 is built from the `misc/Dockerfile.build` description. Changes to this
   5 file do not automatically lead to a new Docker image. One should first
   6 modify the image name in the `BUILD_IMAGE` variable of
   7 `.gitlab-ci.yml`, using the current date in the name.