A collection of dockerfiles used by developers and CI for mantid:
- development: An image providing an environment setup for Mantid development.
- jenkins-node: Builds on the development image and adds the JNLP service agent so the container acts as a Jenkins node.
- mantid: A production image containing mantid.