summaryrefslogtreecommitdiff
path: root/Documentation/infrastructure/index.md
blob: 75ad61b506771578dd68978e929fd09c9f6c2e71 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
# Project infrastructure & services

This section contains documentation about our infrastructure

## Services

```{toctree}
:maxdepth: 1

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

## Jenkins builders and builds
```{toctree}
:maxdepth: 1

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