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
Set of extra ignored diagnostics for REPL mode #1396
Merged
Merged
Commits on Jul 13, 2021
-
Configuration menu - View commit details
-
Copy full SHA for 9184bab - Browse repository at this point
Copy the full SHA 9184babView commit details -
Add mechanism to ignore diagnostics in certain files; use it to ignor…
…e annoying diagnostics in the REPL
Configuration menu - View commit details
-
Copy full SHA for bc7fe6e - Browse repository at this point
Copy the full SHA bc7fe6eView commit details -
Configuration menu - View commit details
-
Copy full SHA for ab7a688 - Browse repository at this point
Copy the full SHA ab7a688View commit details -
Apply the new diagnostic filtering only to interactive REPL; not to […
…stdin] nor [eval]
Configuration menu - View commit details
-
Copy full SHA for f331a4c - Browse repository at this point
Copy the full SHA f331a4cView commit details -
Configuration menu - View commit details
-
Copy full SHA for 889b6c8 - Browse repository at this point
Copy the full SHA 889b6c8View commit details
Commits on Jul 19, 2021
-
Configuration menu - View commit details
-
Copy full SHA for ea1737a - Browse repository at this point
Copy the full SHA ea1737aView commit details -
Configuration menu - View commit details
-
Copy full SHA for 0153167 - Browse repository at this point
Copy the full SHA 0153167View commit details -
Configuration menu - View commit details
-
Copy full SHA for 23d9c12 - Browse repository at this point
Copy the full SHA 23d9c12View commit details
Commits on Jul 21, 2021
-
Configuration menu - View commit details
-
Copy full SHA for 01a7e01 - Browse repository at this point
Copy the full SHA 01a7e01View commit details
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.