Documentation/infrastructure/index.md

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