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

Introduce warning topbar menu, allow following crates to see warnings for #2471

Draft
wants to merge 6 commits into
base: master
Choose a base branch
from

Conversation

Nemo157
Copy link
Member

@Nemo157 Nemo157 commented Mar 26, 2024

Based on top of #2470, only the last commit is relevant currently

I still need to finish up work on grabbing data for the actual warnings, but I wanted some early feedback on the approach I'm taking to the UI, given this is the most client-side bit of UI we've got, @GuillaumeGomez.

Preview of what it looks like (with my wip warnings rendering too):

image

Unless you're doing clean builds all the time, having optimized dependencies and
reducing the debuginfo generated for them is faster because it makes the linker
do less work.
This improves turnaround speed when locally testing changes that require
rebuilding the docker image.
@github-actions github-actions bot added the S-waiting-on-review Status: This pull request has been implemented and needs to be reviewed label Mar 26, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-review Status: This pull request has been implemented and needs to be reviewed
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants