fix(workflows): fix commit ID error in push events mode (#9231)

Signed-off-by: rongyichang <rongyichang@xiaomi.com>
This commit is contained in:
terry.rong
2025-11-12 13:51:13 +08:00
committed by GitHub
parent e664b308fc
commit 8cd424023e
+3
View File
@@ -143,6 +143,9 @@ jobs:
echo "Merge-base: $MB"
python scripts/check_gcov_coverage.py --commit="${MB}...${{ github.event.pull_request.head.sha }}"
else
# For push events, fetch enough history to resolve HEAD^
git fetch --no-tags --prune --depth=2 origin
echo "Using HEAD commit for push event"
python scripts/check_gcov_coverage.py --commit=HEAD
fi
- name: Archive screenshot errors