Jenkins Scripts A collection of scripts used by mantidproject to administer https://builds.mantidproject.org.