[coreboot-gerrit] Change in coreboot[master]: Documentation: Update document about jenkins builders

[Martin L Roth (Code Review)]

Attention is currently required from: Martin L Roth.
Hello build bot (Jenkins),

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

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

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

Change subject: Documentation: Update document about jenkins builders
......................................................................

Documentation: Update document about jenkins builders

Although we're looking at updating the build system, we don't have a
strict timeframe that this will happen.  Until it does, we'll be using
the current Jenkins configuration.

This commit give some minor updates to the instructions and current
state of the builders.

Signed-off-by: Martin Roth 
Change-Id: Ifa094a6d0450da4ab58e23d7b56e65e6101ee931
---
M Documentation/infrastructure/builders.md
1 file changed, 51 insertions(+), 43 deletions(-)

git pull ssh://review.coreboot.org:29418/coreboot refs/changes/39/62439/3