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

Fix unresolved name error when building with musl. #513

Merged
merged 1 commit into from
Feb 22, 2017

Conversation

yxd-hde
Copy link
Contributor

@yxd-hde yxd-hde commented Feb 16, 2017

@posborne
Copy link
Member

Thanks! @homu r+

@homu
Copy link
Contributor

homu commented Feb 17, 2017

📌 Commit 3a89d2d has been approved by posborne

homu added a commit that referenced this pull request Feb 17, 2017
@homu
Copy link
Contributor

homu commented Feb 17, 2017

⌛ Testing commit 3a89d2d with merge 14d4f22...

@homu
Copy link
Contributor

homu commented Feb 17, 2017

💔 Test failed - status

@posborne
Copy link
Member

@homu r+

@homu
Copy link
Contributor

homu commented Feb 22, 2017

💡 This pull request was already approved, no need to approve it again.

  • This pull request previously failed. You should add more commits to fix the bug, or use retry to trigger a build again.

@homu
Copy link
Contributor

homu commented Feb 22, 2017

📌 Commit 3a89d2d has been approved by posborne

@homu
Copy link
Contributor

homu commented Feb 22, 2017

💡 This pull request was already approved, no need to approve it again.

  • This pull request previously failed. You should add more commits to fix the bug, or use retry to trigger a build again.

@posborne
Copy link
Member

@homu retry

homu added a commit that referenced this pull request Feb 22, 2017
@homu
Copy link
Contributor

homu commented Feb 22, 2017

⌛ Testing commit 3a89d2d with merge 877fb71...

@homu homu mentioned this pull request Feb 22, 2017
@homu
Copy link
Contributor

homu commented Feb 22, 2017

☀️ Test successful - status

@homu homu merged commit 3a89d2d into nix-rust:master Feb 22, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants