Closed Leavrth closed 3 years ago
[REVIEW NOTIFICATION]
This pull request has been approved by:
To complete the pull request process, please ask the reviewers in the list to review by filling /cc @reviewer
in the comment.
After your PR has acquired the required number of LGTMs, you can assign this pull request to the committer in the list by filling /assign @committer
in the comment to help you merge this pull request.
The full list of commands accepted by this bot can be found here.
/merge
This pull request has been accepted and is ready to merge.
In response to a cherrypick label: new pull request created: #388.
In response to a cherrypick label: new pull request created: #389.
In response to a cherrypick label: new pull request created: #390.
In response to a cherrypick label: new pull request created: #391.
What problem does this PR solve?
The new sync-diff-inspector is not compatibility with the
check_diff
shell.What is changed and how it works?
remove the output directory before run sync-diff-inspector.
Related changes
Release note