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.

Sign up for GitHub

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

Jump to bottom

publish server binary to GitHub releases #23

Closed
smola opened this issue Jun 14, 2017 · 3 comments
Closed

publish server binary to GitHub releases #23

smola opened this issue Jun 14, 2017 · 3 comments
Assignees
@abeaumont
Labels
enhancement

Comments

@smola
Copy link
Member

smola commented Jun 14, 2017

No description provided.

@abeaumont
Copy link
Contributor

I think this is already being done, but not sure of how exactly. It'd be nice to document the publish/deployment procedure.

@smola
Copy link
Member Author

smola commented Jun 28, 2017

@abeaumont I uploaded it manually, but we should set it up automatically on Travis.

@abeaumont abeaumont self-assigned this Jul 14, 2017
@abeaumont abeaumont mentioned this issue Jul 14, 2017
Merged
@abeaumont
Copy link
Contributor

solved by #73

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@abeaumont abeaumont

Labels
enhancement
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@smola @abeaumont