You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
minor #2687 [CI] Use git diff instead of git status (smnandre)
This PR was merged into the 2.x branch.
Discussion
----------
[CI] Use git diff instead of git status
The CI often fails on the "check dist files" script because some dist file changed .. with no real content change
This PR replace the `git status --porcelain` with a `git diff --quiet` to ignore this situation.
Commits
-------
11114f3 [CI] Use git diff instead of git status
0 commit comments