2022-02-28 22:48:52 +01:00
|
|
|
# Project infrastructure & services
|
2020-07-28 04:21:37 +02:00
|
|
|
|
2022-02-28 22:48:52 +01:00
|
|
|
This section contains documentation about our infrastructure
|
2020-07-28 04:21:37 +02:00
|
|
|
|
2022-02-28 22:51:46 +01:00
|
|
|
## Services
|
|
|
|
|
|
|
|
* [Project services](services.md)
|
|
|
|
|
|
|
|
|
2020-07-28 04:21:37 +02:00
|
|
|
## Jenkins builders and builds
|
2021-05-27 17:17:30 +02:00
|
|
|
* [Setting up Jenkins build machines](builders.md)
|
2022-03-08 19:47:41 +01:00
|
|
|
* [Coverity Scan integration](coverity.md)
|