coreboot-kgpe-d16/Documentation/infrastructure
Martin Roth 0d12543e24 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 <martin@coreboot.org>
Change-Id: Ifa094a6d0450da4ab58e23d7b56e65e6101ee931
Reviewed-on: https://review.coreboot.org/c/coreboot/+/62439
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Felix Singer <felixsinger@posteo.net>
2022-04-24 17:30:52 +00:00
..
builders.md Documentation: Update document about jenkins builders 2022-04-24 17:30:52 +00:00
coverity.md
index.md