Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
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
Update to new diagnostics format and shorten status bar messages #433
base: master
Are you sure you want to change the base?
Update to new diagnostics format and shorten status bar messages #433
Changes from all commits
aaab531
7679e75
3fa310c
7ff2a6f
1e3ef60
9a6194d
7312872
24ca225
0790cc5
018c1f1
b8bd322
d848e1c
50a10ec
6fa0a7c
1e1b7b0
b9bf151
6debc46
ba05085
5304edf
8411660
89de1e7
ed90359
fad7603
f650779
4e1146d
db8ebf7
1124f72
222c9ba
d6c5aed
9345ebd
fa5e9bf
e80bd08
2e8a165
1031546
18e68c9
ec80476
f59bc26
13bcf85
3f916b2
b4a7a19
6422b0a
25e9ec5
3e276a5
0ed3292
c8b07af
2484414
10a28ee
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.