[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