Skip to content

Conversation

@MustafaFayez
Copy link

No description provided.

Merge dev into release for new release
@JRPan JRPan changed the base branch from release to dev November 3, 2022 20:29
@JRPan
Copy link
Collaborator

JRPan commented Nov 3, 2022

Hi,

Thank you for the new config! It looks good. Could you please remove commits 18e5cac and 2857208

There was a mistake on our side earlier today. These two commits are now removed. Simply removing them from your branch should work.

Thanks,
Junrui

@JRPan
Copy link
Collaborator

JRPan commented Nov 3, 2022

nvm. Did it myself. Now it's ready.

@MustafaFayez
Copy link
Author

Thanks a lot!

@JRPan
Copy link
Collaborator

JRPan commented May 11, 2023

Thank you for the config. But unfortunately, we are unable to invalidate these results as we don't have an A100. We will not be able to merge this. But I'll keep this here, so if anyone else is looking for the config, please try it at your discretion.

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.

2 participants