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

Enable bors-ng #316

Merged

cuviper merged 1 commit into rust-num:master from cuviper:bors-ng

Jul 9, 2017

Member

cuviper commented Jul 9, 2017

No description provided.


          Enable bors-ng

b181cae

Member Author

cuviper commented Jul 9, 2017

bors r+

bors bot added a commit that referenced this pull request


          Merge #316

b278e0e

316: Enable bors-ng r=cuviper

Contributor

bors bot commented Jul 9, 2017

Build failed

continuous-integration/travis-ci/push

Member Author

cuviper commented Jul 9, 2017

Bah, #312. But bors is alive, so let's merge anyway.

cuviper merged commit 31fa9f6 into rust-num:master

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

Labels

None yet