Dockerfiles A collection of dockerfiles and ansible scripts used by developers and CI for mantid. The images are split into folders by OS with documentation for editing and deploying setups available in each folder.