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

deny warnings on CI #909

Merged
merged 2 commits into from
Aug 15, 2019
Merged

deny warnings on CI #909

merged 2 commits into from
Aug 15, 2019

Conversation

RalfJung
Copy link
Member

No description provided.

@oli-obk
Copy link
Contributor

oli-obk commented Aug 15, 2019

@bors r+

Could also be a cargo flag, but makes no difference in our CI

@bors
Copy link
Contributor

bors commented Aug 15, 2019

📌 Commit 6ef7c08 has been approved by oli-obk

@RalfJung
Copy link
Member Author

Could also be a cargo flag

Wait really? Which flag?

@RalfJung
Copy link
Member Author

@bors r=oli-obk

Had to fix a warning first. ;)

@bors
Copy link
Contributor

bors commented Aug 15, 2019

📌 Commit f9241be has been approved by oli-obk

@bors
Copy link
Contributor

bors commented Aug 15, 2019

⌛ Testing commit f9241be with merge 4f6f264...

bors added a commit that referenced this pull request Aug 15, 2019
@bors
Copy link
Contributor

bors commented Aug 15, 2019

☀️ Test successful - checks-travis, status-appveyor
Approved by: oli-obk
Pushing 4f6f264 to master...

@bors bors merged commit f9241be into rust-lang:master Aug 15, 2019
@RalfJung RalfJung deleted the deny-warn branch August 15, 2019 21:17
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