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 type of RLIMIT consts on linux gnu #1382

Merged
merged 2 commits into from May 31, 2019
Merged

Conversation

gnzlbg
Copy link
Contributor

@gnzlbg gnzlbg commented May 31, 2019

No description provided.

@rust-highfive
Copy link

@gnzlbg: no appropriate reviewer found, use r? to override

@gnzlbg
Copy link
Contributor Author

gnzlbg commented May 31, 2019

@bors: r+

@bors
Copy link
Contributor

bors commented May 31, 2019

📌 Commit dd5bbf5 has been approved by gnzlbg

@bors
Copy link
Contributor

bors commented May 31, 2019

⌛ Testing commit dd5bbf5 with merge 35f8a81...

bors added a commit that referenced this pull request May 31, 2019
Fix type of RLIMIT consts on linux gnu
@bors
Copy link
Contributor

bors commented May 31, 2019

💔 Test failed - checks-travis

@gnzlbg
Copy link
Contributor Author

gnzlbg commented May 31, 2019

@bors: r+

@bors
Copy link
Contributor

bors commented May 31, 2019

💡 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.

@bors
Copy link
Contributor

bors commented May 31, 2019

📌 Commit dd5bbf5 has been approved by gnzlbg

@gnzlbg
Copy link
Contributor Author

gnzlbg commented May 31, 2019

@bors: r+

@bors
Copy link
Contributor

bors commented May 31, 2019

📌 Commit e07cd94 has been approved by gnzlbg

bors added a commit that referenced this pull request May 31, 2019
Fix type of RLIMIT consts on linux gnu
@bors
Copy link
Contributor

bors commented May 31, 2019

⌛ Testing commit e07cd94 with merge 25abf02...

@bors
Copy link
Contributor

bors commented May 31, 2019

💔 Test failed - checks-travis

@gnzlbg gnzlbg merged commit cdc48ea into rust-lang:master May 31, 2019
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.

None yet

3 participants