Skip to content

Conversation

@davidlattimore
Copy link
Contributor

Ideally we would (a) show progress and (b) allow cancellation, but at least now there's some indication to the user that something is happening.

@davidlattimore
Copy link
Contributor Author

Thanks for noticing that. You'll be pleased to know that I've now installed a spellchecker in vscode.

I've added a commit to fix the typo. Bors squashes commits right?

@lnicola
Copy link
Member

lnicola commented Jun 29, 2020

It doesn't. You can force push it leave them like this.

Ideally we would (a) show progress and (b) allow cancellation, but at least now there's some indication to the user that something is happening.
@matklad
Copy link
Contributor

matklad commented Jun 29, 2020

Yeah, we generally don't have solution yet for analysis progress... Kind of hard to do for lazy setup

bors r+

@bors
Copy link
Contributor

bors bot commented Jun 29, 2020

@bors bors bot merged commit 9f12903 into rust-lang:master Jun 29, 2020
@davidlattimore davidlattimore deleted the ssr-in-progress-notification branch June 29, 2020 23:57
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