This project is archived and no longer maintained. See dumux-repositories/dumux-docker-ci and dumux-repositories/dumux/docker/ for container-related tools.
