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

Remove duplicates #110

Closed
JacobDomagala opened this issue Nov 19, 2023 · 0 comments · Fixed by #111
Closed

Remove duplicates #110

JacobDomagala opened this issue Nov 19, 2023 · 0 comments · Fixed by #111
Assignees
Labels
bug Something isn't working

Comments

@JacobDomagala
Copy link
Owner

Sometimes the same warning/error is reported multiple times. We should only output it once.

@JacobDomagala JacobDomagala added the bug Something isn't working label Nov 19, 2023
@JacobDomagala JacobDomagala self-assigned this Nov 19, 2023
JacobDomagala added a commit that referenced this issue Nov 19, 2023
…ventually be converted to set to avoid duplicates
JacobDomagala added a commit that referenced this issue Nov 19, 2023
…ventually be converted to set to avoid duplicates
JacobDomagala added a commit that referenced this issue Nov 19, 2023
…ventually be converted to set to avoid duplicates
JacobDomagala added a commit that referenced this issue Nov 19, 2023
…ventually be converted to set to avoid duplicates
JacobDomagala added a commit that referenced this issue Nov 19, 2023
…ventually be converted to set to avoid duplicates
JacobDomagala added a commit that referenced this issue Nov 19, 2023
…ventually be converted to set to avoid duplicates
JacobDomagala added a commit that referenced this issue Nov 19, 2023
…ventually be converted to set to avoid duplicates
JacobDomagala added a commit that referenced this issue Nov 19, 2023
…ventually be converted to set to avoid duplicates
@JacobDomagala JacobDomagala linked a pull request Nov 19, 2023 that will close this issue
JacobDomagala added a commit that referenced this issue Nov 19, 2023
…ventually be converted to set to avoid duplicates
JacobDomagala added a commit that referenced this issue Nov 19, 2023
JacobDomagala added a commit that referenced this issue Nov 20, 2023
JacobDomagala added a commit that referenced this issue Nov 20, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
No open projects
Development

Successfully merging a pull request may close this issue.

1 participant