Skip to content

Conversation

@Veykril
Copy link
Member

@Veykril Veykril commented Mar 10, 2023

cc #14193 closes #9909

image

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Mar 10, 2023
@Veykril Veykril marked this pull request as ready for review March 10, 2023 09:50
@Veykril
Copy link
Member Author

Veykril commented Mar 10, 2023

@bors r+

@bors
Copy link
Contributor

bors commented Mar 10, 2023

📌 Commit c03775e has been approved by Veykril

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Mar 10, 2023

⌛ Testing commit c03775e with merge 070f8f8...

@Veykril Veykril changed the title Make project loading errors less intrusive feat: Add fancy buttons to the vscode status message Mar 10, 2023
@bors
Copy link
Contributor

bors commented Mar 10, 2023

☀️ Test successful - checks-actions
Approved by: Veykril
Pushing 070f8f8 to master...

@bors bors merged commit 070f8f8 into rust-lang:master Mar 10, 2023
@Veykril Veykril deleted the notifs branch March 25, 2023 13:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-review Status: Awaiting review from the assignee but also interested parties.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Rich status bar support

3 participants