[PATCH] CI: Use different git-directory for each runner

[Tom Rini]

On Sat, Feb 08, 2025 at 06:34:24AM -0700, Simon Glass wrote:

> It seems that the new approach doesn't go far enough, since when there
> are multiple independent runners on a machine, they end up sharing the
> same git directory.
> 
> Add $CI_RUNNER_ID as well, so they are kept separate.
> 
> Signed-off-by: Simon Glass <sjg at chromium.org>

Reviewed-by: Tom Rini <trini at konsulko.com>

-- 
Tom
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 659 bytes
Desc: not available
URL: <https://lists.denx.de/pipermail/u-boot/attachments/20250208/69e0031d/attachment.sig>