[coreboot-gerrit] Change in coreboot[master]: Documentation: Add documentation on jenkins builders

[Martin Roth (Code Review)]

Hello build bot (Jenkins), Patrick Georgi,

I'd like you to reexamine a change. Please visit

https://review.coreboot.org/c/coreboot/+/43984

to look at the new patch set (#2).

Change subject: Documentation: Add documentation on jenkins builders
......................................................................

Documentation: Add documentation on jenkins builders

Put this in a new directory called 'infrastructure' and make a link
and an index.md file for the directory.

Signed-off-by: Martin Roth 
Change-Id: I54a0204e7525a25f2fd717a73007b304aac67396
---
M Documentation/index.md
A Documentation/infrastructure/builders.md
A Documentation/infrastructure/index.md
3 files changed, 399 insertions(+), 0 deletions(-)

git pull ssh://review.coreboot.org:29418/coreboot refs/changes/84/43984/2