Skip to content

Conversation

matthiaskrgr
Copy link
Member

changelog: none

@phansch
Copy link
Contributor

phansch commented Apr 11, 2020

@bors r+
thanks!

@bors
Copy link
Contributor

bors commented Apr 11, 2020

📌 Commit f7bdead has been approved by phansch

@bors
Copy link
Contributor

bors commented Apr 11, 2020

⌛ Testing commit f7bdead with merge 458f5b6...

bors added a commit that referenced this pull request Apr 11, 2020
@bors
Copy link
Contributor

bors commented Apr 11, 2020

💔 Test failed - checks-action_test

@matthiaskrgr
Copy link
Member Author

More tweaks needed due to rust-lang/rust#70986, working on it...

@phansch
Copy link
Contributor

phansch commented Apr 11, 2020

@bors r+

@bors
Copy link
Contributor

bors commented Apr 11, 2020

📌 Commit 4352c85 has been approved by phansch

@bors
Copy link
Contributor

bors commented Apr 11, 2020

⌛ Testing commit 4352c85 with merge 97aa8dc...

@bors
Copy link
Contributor

bors commented Apr 11, 2020

☀️ Test successful - checks-action_dev_test, checks-action_remark_test, checks-action_test
Approved by: phansch
Pushing 97aa8dc to master...

@bors bors merged commit 97aa8dc into rust-lang:master Apr 11, 2020
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