Skip to content

Upgrade compiletest_rs to 0.3.19#3838

Merged
bors merged 1 commit into
rust-lang:masterfrom
mati865:rustup
Mar 3, 2019
Merged

Upgrade compiletest_rs to 0.3.19#3838
bors merged 1 commit into
rust-lang:masterfrom
mati865:rustup

Conversation

@mati865

@mati865 mati865 commented Mar 3, 2019

Copy link
Copy Markdown
Member

No description provided.

@phansch

phansch commented Mar 3, 2019

Copy link
Copy Markdown
Contributor

@bors r+ thanks!

@bors

bors commented Mar 3, 2019

Copy link
Copy Markdown
Contributor

📌 Commit da2cf87 has been approved by phansch

@bors

bors commented Mar 3, 2019

Copy link
Copy Markdown
Contributor

⌛ Testing commit da2cf87 with merge d389e80...

bors added a commit that referenced this pull request Mar 3, 2019
Upgrade compiletest_rs to 0.3.19
@bors

bors commented Mar 3, 2019

Copy link
Copy Markdown
Contributor

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

  • This pull request is currently being tested. If there's no response from the continuous integration service, you may use retry to trigger a build again.

@bors

bors commented Mar 3, 2019

Copy link
Copy Markdown
Contributor

📌 Commit da2cf87 has been approved by phansch

bors added a commit that referenced this pull request Mar 3, 2019
Upgrade compiletest_rs to 0.3.19
@bors

bors commented Mar 3, 2019

Copy link
Copy Markdown
Contributor

⌛ Testing commit da2cf87 with merge caccf8b...

@phansch

phansch commented Mar 3, 2019

Copy link
Copy Markdown
Contributor

huh, bors was triggered twice?

@mati865

mati865 commented Mar 3, 2019

Copy link
Copy Markdown
Member Author

I think it's because of edit to the comment with @bors r+.

@bors

bors commented Mar 3, 2019

Copy link
Copy Markdown
Contributor

☀️ Test successful - checks-travis, status-appveyor
Approved by: phansch
Pushing caccf8b to master...

@bors bors merged commit da2cf87 into rust-lang:master Mar 3, 2019
@mati865 mati865 deleted the rustup branch March 3, 2019 15:59
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