Skip to content
This repository was archived by the owner on Apr 5, 2024. It is now read-only.

Opt-in to rustc_private for rust-analyzer #177

Closed
wants to merge 2 commits into from

Conversation

DJMcNab
Copy link

@DJMcNab DJMcNab commented Mar 8, 2021

Co-authored-by: Yuki Okushi <[email protected]>
@JohnTitor
Copy link
Member

Thanks!
@bors r+ squash

@bors
Copy link
Contributor

bors commented Mar 10, 2021

📌 Commit a735e21 has been approved by JohnTitor

@bors
Copy link
Contributor

bors commented Mar 10, 2021

⌛ Testing commit a735e21 with merge 32f8404...

bors added a commit that referenced this pull request Mar 10, 2021
@bors
Copy link
Contributor

bors commented Mar 10, 2021

☀️ Test successful - checks-actions
Approved by: JohnTitor
Pushing 32f8404 to master...

@JohnTitor
Copy link
Member

Merged via 32f8404.

@bors
Copy link
Contributor

bors commented Mar 10, 2021

☀️ Test successful - checks-actions
Approved by: JohnTitor
Pushing 32f8404 to master...

@bors
Copy link
Contributor

bors commented Mar 10, 2021

☀️ Test successful - checks-actions
Approved by: JohnTitor
Pushing 32f8404 to master...

@bors
Copy link
Contributor

bors commented Mar 10, 2021

☀️ Test successful - checks-actions
Approved by: JohnTitor
Pushing 32f8404 to master...

@bors
Copy link
Contributor

bors commented Mar 10, 2021

☀️ Test successful - checks-actions
Approved by: JohnTitor
Pushing 32f8404 to master...

@JohnTitor
Copy link
Member

@bors r-

@DJMcNab
Copy link
Author

DJMcNab commented Mar 10, 2021

I appear to have broken bors? Sorry.

@DJMcNab DJMcNab closed this Mar 10, 2021
@DJMcNab DJMcNab deleted the rust-analyzer-private branch March 10, 2021 17:58
@Xanewok
Copy link
Member

Xanewok commented Mar 10, 2021

Huh, that's weird. Maybe worth reopening to see if this time bors feels okay?

@DJMcNab
Copy link
Author

DJMcNab commented Mar 10, 2021

It appears to be merged anyway

@Xanewok
Copy link
Member

Xanewok commented Mar 10, 2021

Oh, you're right. Thanks again!

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants