Fix coverage diffs for PRs that aren't up to date, take 3 (#8301)
This commit is contained in:
@@ -32,3 +32,4 @@ jobs:
|
|||||||
with:
|
with:
|
||||||
fail_ci_if_error: false
|
fail_ci_if_error: false
|
||||||
verbose: true
|
verbose: true
|
||||||
|
override_commit: ${{ github.event_name == 'pull_request' && github.event.pull_request.head.sha || '' }}
|
||||||
|
|||||||
Reference in New Issue
Block a user