[PATCH master] ci: coverity: fix git hash truncation to 10 characters

[Sascha Hauer]

On Fri, 21 Mar 2025 11:12:18 +0100, Ahmad Fatoum wrote:
> A misplaced $ lead to versions looking like this:
> 
>   Version: 2025.02.0-g\{84a1605196530ff77...
> 
> instead of
> 
>   Version: 2025.02.0-g84a1605196
> 
> [...]

Applied, thanks!

[1/1] ci: coverity: fix git hash truncation to 10 characters
      https://git.pengutronix.de/cgit/barebox/commit/?id=c683c1eca2b2 (link may not be stable)

Best regards,
-- 
Sascha Hauer <s.hauer at pengutronix.de>