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

Publish on crates.io #144

Merged
merged 3 commits into from Jun 15, 2015
Merged

Publish on crates.io #144

merged 3 commits into from Jun 15, 2015

Conversation

@SimonSapin
Copy link
Member

SimonSapin commented Jun 15, 2015

@metajack
Copy link
Contributor

metajack commented Jun 15, 2015

@bors-servo
Copy link
Contributor

bors-servo commented Jun 15, 2015

📌 Commit 6fc7238 has been approved by metajack

@bors-servo
Copy link
Contributor

bors-servo commented Jun 15, 2015

Testing commit 6fc7238 with merge 73d3f78...

bors-servo pushed a commit that referenced this pull request Jun 15, 2015
@bors-servo
Copy link
Contributor

bors-servo commented Jun 15, 2015

☀️ Test successful - travis

@bors-servo bors-servo merged commit 6fc7238 into master Jun 15, 2015
3 checks passed
3 checks passed
continuous-integration/travis-ci/pr The Travis CI build passed
Details
continuous-integration/travis-ci/push The Travis CI build passed
Details
homu Test successful
Details
@SimonSapin SimonSapin deleted the crates.io branch Jun 16, 2015
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

4 participants
You can’t perform that action at this time.