Closed sgalsaleh closed 6 months ago
Merging PRs occasionally fails due to some race condition. I believe this might fix the issue.
Description, Motivation and Context
Merging PRs occasionally fails due to some race condition. I believe this might fix the issue.
Checklist
Does this PR introduce a breaking change?