fix(ci): 修复diff-cover丢失coverage.xml - 备份时包含coverage.xml

2026-07-19 18:56:40 +08:00
parent ced82267e4
commit 7f177aef3c
1 changed files with 2 additions and 1 deletions
@@ -76,7 +76,8 @@ if [ "${GITHUB_EVENT_NAME:-}" = "pull_request" ] && [ -n "${GITHUB_TOKEN:-}" ];

  PR_CODE_DIR="/tmp/pr-code-$$"
  mkdir -p "$PR_CODE_DIR"
-  find . -maxdepth 1 -mindepth 1 ! -name 'coverage.xml' ! -name 'diff_coverage.html' -exec cp -r {} "$PR_CODE_DIR/" \;
+  # 备份PR代码（含coverage.xml，diff-cover需要用到
+  find . -maxdepth 1 -mindepth 1 ! -name 'diff_coverage.html' -exec cp -r {} "$PR_CODE_DIR/" \;
  rm -rf .git
  git init > /dev/null 2>&1
  git remote add origin https://git.xiaoxiajianji.com/xiaoxia/xiaoxia-saas.git > /dev/null 2>&1