Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Make "missing toolchain" notification dumb-aware #4416

Merged
merged 1 commit into from Sep 21, 2019
Merged

Make "missing toolchain" notification dumb-aware #4416

merged 1 commit into from Sep 21, 2019

Conversation

vlad20012
Copy link
Member

If it is not dumb-aware, the notification persists until the end
of indexation. This is a source of confusion

bors r+

@vlad20012
Make "missing toolchain" notification dumb-aware
356ee96 
If it is not dumb-aware, the notification persists until the end
of indexation. This is a source of confusion
bors bot added a commit that referenced this pull request Sep 21, 2019
@bors @vlad20012
Merge #4416
ed5439b 
4416: Make "missing toolchain" notification dumb-aware r=vlad20012 a=vlad20012

If it is not dumb-aware, the notification persists until the end
of indexation. This is a source of confusion

bors r+

Co-authored-by: vlad20012 <beskvlad@gmail.com>
@bors
Copy link
Contributor

bors bot commented Sep 21, 2019

Build failed

@vlad20012
Copy link
Member Author

bors retry

bors bot added a commit that referenced this pull request Sep 21, 2019
@bors @vlad20012
Merge #4416
0852bed 
4416: Make "missing toolchain" notification dumb-aware r=vlad20012 a=vlad20012

If it is not dumb-aware, the notification persists until the end
of indexation. This is a source of confusion

bors r+

Co-authored-by: vlad20012 <beskvlad@gmail.com>
@bors
Copy link
Contributor

bors bot commented Sep 21, 2019

Build succeeded

@bors bors bot merged commit 356ee96 into master Sep 21, 2019
@bors bors bot deleted the dumb-aware-missing-toolchain-notification branch September 21, 2019 15:45
@Undin Undin added this to In Progress in To test via automation Sep 21, 2019
@Undin Undin added this to the v107 milestone Sep 21, 2019
@Undin Undin added the feature label Sep 21, 2019
@Undin Undin moved this from In Progress to Test in To test Oct 4, 2019
@lancelote lancelote moved this from Test to Done in To test Oct 7, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
feature
Projects
To test
  
Done
Milestone
v107
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@vlad20012 @Undin