Skip to content
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

[HotFix] fix MHA build #3333

Closed
wants to merge 2 commits into from
Closed

[HotFix] fix MHA build #3333

wants to merge 2 commits into from

Conversation

CAHEK7
Copy link
Contributor

@CAHEK7 CAHEK7 commented Oct 24, 2024

@CAHEK7
Copy link
Contributor Author

CAHEK7 commented Oct 24, 2024

I guess it can be merged when all the build stages have passed. There is no point to wait for the full tests, since there are no MHA-Dropout tests in our testsuite.

@junliume junliume changed the title fix build [HotFix] fix MHA build Oct 24, 2024
@junliume
Copy link
Collaborator

Hi @CAHEK7 thanks for the quick patch! It seems that this PR is included as part of #3326 and we can close this one when it is updated with the TIP of develop. Thanks again.

@CAHEK7
Copy link
Contributor Author

CAHEK7 commented Oct 25, 2024

Hi @CAHEK7 thanks for the quick patch! It seems that this PR is included as part of #3326 and we can close this one when it is updated with the TIP of develop. Thanks again.

Since #3326 has not been merged and that change appeared in #3332 I decided to create a separated PR with minimal changes to cover that particular issue.

I don't mind getting that fix from another PR.

@CAHEK7 CAHEK7 closed this Oct 25, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants