-
Notifications
You must be signed in to change notification settings - Fork 699
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
Delete binary file #331
Delete binary file #331
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM and I think we could add an item in gitignore file
@gaocegege @ScorpioCPH We could add a Makefile to standardise the process of making binary file. I'd like to pick it up. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM
351e0fb
to
4884769
Compare
Makefile is great, and here is a guide for build it on local: building-all-the-artifacts |
This PR remove binary file which should not be checked into git repo.
@jlewi @gaocegege @DjangoPeng PTAL.
This change is