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.

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

[FancyLogger] Footer shows progress bar of completed projects #8314

Merged
merged 9 commits into from
Feb 6, 2023

Conversation

edvilme
Copy link
Member

@edvilme edvilme commented Jan 18, 2023

Fixes #

Context

image
The FancyLogger should allow users to know currently relevant information of their build; namely, how much is completed vs how much is missing.
The current approach is showing the percentage of completed projects at any given moment: FinishedProjects/StartedProjects.

Changes Made

The footer at the bottom of the build shows a progress bar reflecting the percentage of the build, as well as a legend indicating the user they can scroll using the keyboard arrows.

Testing

Notes

@edvilme edvilme requested a review from rainersigwald January 18, 2023 19:30
@edvilme edvilme requested a review from Forgind January 19, 2023 22:57
Copy link
Member

@rainersigwald rainersigwald left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM (please rebase or merge main though).

@Forgind Forgind added the merge-when-branch-open PRs that are approved, except that there is a problem that means we are not merging stuff right now. label Jan 20, 2023
@rainersigwald rainersigwald removed the merge-when-branch-open PRs that are approved, except that there is a problem that means we are not merging stuff right now. label Jan 31, 2023
@rainersigwald rainersigwald self-assigned this Jan 31, 2023
@rainersigwald
Copy link
Member

I merged main in again and it still look ok:

image

@Forgind Forgind added the merge-when-branch-open PRs that are approved, except that there is a problem that means we are not merging stuff right now. label Feb 1, 2023
@JaynieBai JaynieBai merged commit a0da59e into dotnet:main Feb 6, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
merge-when-branch-open PRs that are approved, except that there is a problem that means we are not merging stuff right now.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants