diff options
| author | Martin Roth <martin@coreboot.org> | 2020-07-27 20:21:37 -0600 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2021-01-25 08:56:27 +0000 |
| commit | 2cee2ff256297b1c3de204c66f918b3991f96a40 (patch) | |
| tree | 14fb1ae02d1d4187ead5b76a076c4cf09f890d4b /util/lint/lint-stable-013-site-local | |
| parent | b339fbb79b771e87aab889cd9467b9bde53d9720 (diff) | |
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 <martin@coreboot.org>
Change-Id: I54a0204e7525a25f2fd717a73007b304aac67396
Reviewed-on: https://review.coreboot.org/c/coreboot/+/43984
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Angel Pons <th3fanbus@gmail.com>
Diffstat (limited to 'util/lint/lint-stable-013-site-local')
0 files changed, 0 insertions, 0 deletions