diff options
author | Stefan Reinauer <stefan.reinauer@coreboot.org> | 2020-06-25 11:29:25 -0700 |
---|---|---|
committer | Stefan Reinauer <stefan.reinauer@coreboot.org> | 2020-06-26 18:56:48 +0000 |
commit | 88e54e38d4ece43ce0d54d35b91402e047ce6460 (patch) | |
tree | d48896b123216e0d731e55ca34e20e87e5ec7e8f /Documentation/index.md | |
parent | ad977efa233dfe2833a144a9c82a7602772c258d (diff) |
Fix up Docker paths to match jenkins nomenclature
Jenkins is calling its build nodes "agent". Reflect that in
the path names we use in configuration.
Change-Id: I88a4d3d32a565ade768e3de6428f46d355bedfb2
Signed-off-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/42819
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Diffstat (limited to 'Documentation/index.md')
0 files changed, 0 insertions, 0 deletions