coreboot-kgpe-d16/Documentation/infrastructure/index.md

13 lines
273 B
Markdown

# Project infrastructure & services
This section contains documentation about our infrastructure
## Services
* [Project services](services.md)
## Jenkins builders and builds
* [Setting up Jenkins build machines](builders.md)
* [Coverity Scan integration](coverity.md)