Commit 9aee76b
ci(coverage): drop --depth=1 on the base fetch — fix diff-cover 'no merge base' (#206)
The patch-coverage gate did 'git fetch origin <base> --depth=1', truncating the
base to one commit with no common ancestor with the PR branch whenever the branch
was behind base — so diff-cover crashed with
'fatal: origin/<base>...HEAD: no merge base' and reded coverage on PRs that were
merely stale (hit repeatedly). The checkout is already fetch-depth:0, so a plain
'git fetch origin <base>' resolves the merge-base reliably.
Co-authored-by: Claude <noreply@anthropic.com>1 parent 6ce63a3 commit 9aee76b
1 file changed
Lines changed: 3 additions & 1 deletion
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
49 | 49 | | |
50 | 50 | | |
51 | 51 | | |
52 | | - | |
| 52 | + | |
| 53 | + | |
| 54 | + | |
53 | 55 | | |
54 | 56 | | |
55 | 57 | | |
0 commit comments