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

Support Cirrus CI badges #1782

Merged
merged 1 commit into from
Jul 16, 2019
Merged

Support Cirrus CI badges #1782

merged 1 commit into from
Jul 16, 2019

Conversation

jonhoo
Copy link
Contributor

@jonhoo jonhoo commented Jul 11, 2019

@jonhoo
Copy link
Contributor Author

jonhoo commented Jul 11, 2019

@bors: r? @carols10cents

@sgrif
Copy link
Contributor

sgrif commented Jul 16, 2019

@bors: r+

Can you open a PR to Cargo updating the docs for this in https://github.com/rust-lang/cargo/blob/master/src/doc/src/reference/manifest.md as well?

@bors
Copy link
Contributor

bors commented Jul 16, 2019

📌 Commit a7c8fc7 has been approved by sgrif

@jonhoo
Copy link
Contributor Author

jonhoo commented Jul 16, 2019

@sgrif already opened in rust-lang/cargo#7119 just after I opened this PR :)

@bors
Copy link
Contributor

bors commented Jul 16, 2019

⌛ Testing commit a7c8fc7 with merge f3127bb...

bors added a commit that referenced this pull request Jul 16, 2019
@bors
Copy link
Contributor

bors commented Jul 16, 2019

☀️ Test successful - checks-travis
Approved by: sgrif
Pushing f3127bb to master...

@bors bors merged commit a7c8fc7 into rust-lang:master Jul 16, 2019
@jonhoo jonhoo deleted the cirrus-ci-badge branch July 16, 2019 18:27
@fkorotkov
Copy link

@jonhoo, thank you! 🎉🍾🎉

bors pushed a commit to rust-lang/cargo that referenced this pull request Jul 16, 2019
bors added a commit to rust-lang/cargo that referenced this pull request Jul 16, 2019
Add Cirrus CI badge to manifest

Reflect changes from rust-lang/crates.io#1782.

NOTE: Should not land until rust-lang/crates.io#1782 lands.
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.

4 participants