Skip to content

Revert custom sharding WAR #495

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 3 commits into from
Feb 6, 2024
Merged

Revert custom sharding WAR #495

merged 3 commits into from
Feb 6, 2024

Conversation

ashors1
Copy link
Contributor

@ashors1 ashors1 commented Jan 24, 2024

No description provided.

@yhtang
Copy link
Collaborator

yhtang commented Jan 30, 2024

Is this just a reminder like #477?

@ashors1
Copy link
Contributor Author

ashors1 commented Jan 30, 2024

Is this just a reminder like #477?

Yes

@ashors1 ashors1 force-pushed the revert-custom-sharding-war branch from 2df268a to 59d8c0a Compare February 3, 2024 04:55
@ashors1 ashors1 marked this pull request as ready for review February 3, 2024 05:02
@ashors1 ashors1 requested review from yhtang and terrykong February 3, 2024 05:02
@jaro-sevcik
Copy link
Collaborator

The WAR is not needed anymore since a proper fix landed: openxla/xla#8896

@olupton
Copy link
Collaborator

olupton commented Feb 6, 2024

Workaround should no longer be needed following openxla/xla#8896. @jaro-sevcik checked this morning.

Copy link
Collaborator

@olupton olupton left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM, merging before nightlies

@olupton olupton merged commit d1b7e1d into main Feb 6, 2024
@olupton olupton deleted the revert-custom-sharding-war branch February 6, 2024 09:29
@@ -133,10 +133,6 @@ while [ : ]; do
XLA_ARM64_PATCH_LIST=$2
shift 2
;;
--other-xla-patches)
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Keeping that attribute could be useful in the future.
We can always add it back later, but having it for dev could be useful.

hmonishN pushed a commit that referenced this pull request Mar 6, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants