Project infrastructure & services

This section contains documentation about our infrastructure

Services

:maxdepth: 1

Project services <services.md>
Administrator's handbook <admin.md>

Jenkins builders and builds

:maxdepth: 1

Setting up Jenkins build machines <builders.md>
Coverity Scan integration <coverity.md>