Add distribution build to repo#35
Add distribution build to repo#35smashedlife wants to merge 2 commits intolcoq:masterfrom smashedlife:dist_build
Conversation
|
Thanks for your time ! I believe the I can give you an access on this repo for creating new releases. Are you interested ? If not, I guess I can merge this PR until someone has some free time to put builds in Github releases. Please let me know, Regards |
|
No problem. I agree with you for the most part. Using the Github release feature is a much better solution. I am more than happy to create new releases for the builds. It does bring up the question on how to version the library. How would you like it to be versioned? |
|
I've added you to the collaborators. The semantic versioning seems pretty good (semver), and the first release could be tagged Do you have any other thought about that ? |
Add build into git repo for easy downloading. Issue #31
distdirectory