This repository contains configurations, build scripts and instructions for setting up and maintaining Jenkins build servers for the TEI. - View it on GitHub