Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Avoid calling Dataset.isEmpty in vacuum
## Description `diff.isEmpty` may not be cheap. This PR removes it and updates the code to avoid using `Dataset.reduce`. ## Does this PR introduce _any_ user-facing changes? Closes #1306 Signed-off-by: Shixiong Zhu <zsxwing@gmail.com> GitOrigin-RevId: 6a43ee8643da724423e42b37c4f503b1a8024295
- Loading branch information