Documentation/infrastructure/index.md

   1 # Project infrastructure & services
   2
   3 This section contains documentation about our infrastructure
   4
   5 ## Services
   6
   7 * [Project services](services.md)
   8
   9
  10 ## Jenkins builders and builds
  11 * [Setting up Jenkins build machines](builders.md)
  12 * [Coverity Scan integration](coverity.md)