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

Ahmad Fatoum a.fatoum at pengutronix.de
Fri Mar 21 03:12:18 PDT 2025


A misplaced $ lead to versions looking like this:

  Version: 2025.02.0-g\{84a1605196530ff77...

instead of

  Version: 2025.02.0-g84a1605196

Move it to fix.

Signed-off-by: Ahmad Fatoum <a.fatoum at pengutronix.de>
---
Untested, but looks straight-forward enough.
---
 .github/workflows/coverity.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/coverity.sh b/.github/workflows/coverity.sh
index 1fd7dd068275..ee4a481503c7 100755
--- a/.github/workflows/coverity.sh
+++ b/.github/workflows/coverity.sh
@@ -33,7 +33,7 @@ function run_coverity {
     tool_dir=$(find "$COVERITY_SCAN_TOOL_BASE" -type d -name 'cov-analysis*')
     results_archive="analysis-results.tgz"
 
-    version="$(make bareboxversion)-g{$GITHUB_SHA:0:10}"
+    version="$(make bareboxversion)-g${GITHUB_SHA:0:10}"
 
     make ARCH=sandbox sandbox_defconfig
     COVERITY_UNSUPPORTED=1 "$tool_dir/bin/cov-build" --dir "$results_dir" sh -c "make -j$(nproc) ARCH=sandbox"
-- 
2.39.5




More information about the barebox mailing list