Skip to content

Point to csmith instructions from CONTRIBUTING.md #1061

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

Merged

Conversation

fitzgen
Copy link
Member

@fitzgen fitzgen commented Oct 5, 2017

Copy link
Contributor

@pepyakin pepyakin left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks great!

@bors-servo r+

@pepyakin
Copy link
Contributor

pepyakin commented Oct 5, 2017

Ah, I see, it doesn't work this way.
@bors-servo r+

@bors-servo
Copy link

@pepyakin: 🔑 Insufficient privileges: Not in reviewers

@pepyakin
Copy link
Contributor

pepyakin commented Oct 5, 2017

Lol

@fitzgen
Copy link
Member Author

fitzgen commented Oct 5, 2017

Hm... I thought we did everything needed to get you r+ abilitities...

@bors-servo r=pepyakin

@bors-servo
Copy link

📌 Commit 29fff6a has been approved by pepyakin

@bors-servo
Copy link

⌛ Testing commit 29fff6a with merge c7fe6b6...

bors-servo pushed a commit that referenced this pull request Oct 5, 2017
…, r=pepyakin

Point to `csmith` instructions from CONTRIBUTING.md

r? @pepyakin
@bors-servo
Copy link

💔 Test failed - status-travis

@bors-servo
Copy link

☀️ Test successful - status-travis
Approved by: pepyakin
Pushing c7fe6b6 to master...

@bors-servo bors-servo merged commit 29fff6a into rust-lang:master Oct 5, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants