1# Project infrastructure & services 2 3This section contains documentation about our infrastructure 4 5## Services 6 7```{toctree} 8:maxdepth: 1 9 10Project services <services.md> 11Administrator's handbook <admin.md> 12``` 13 14## Jenkins builders and builds 15```{toctree} 16:maxdepth: 1 17 18Setting up Jenkins build machines <builders.md> 19Coverity Scan integration <coverity.md> 20``` 21