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

Use query-filters for CodeQL #301

Merged
merged 6 commits into from Apr 19, 2023
Merged

Use query-filters for CodeQL #301

merged 6 commits into from Apr 19, 2023

Conversation

@github-actions github-actions bot added the CI CI configuration issue or pull request label Apr 17, 2023
@codecov-commenter
Copy link

Codecov Report

Merging #301 (ec840da) into master (b05f365) will not change coverage.
The diff coverage is n/a.

📣 This organization is not using Codecov’s GitHub App Integration. We recommend you install it so Codecov can continue to function properly for your repositories. Learn more

@@           Coverage Diff           @@
##           master     #301   +/-   ##
=======================================
  Coverage   99.82%   99.82%           
=======================================
  Files          85       85           
  Lines        4540     4540           
  Branches      459      459           
=======================================
  Hits         4532     4532           
  Misses          6        6           
  Partials        2        2           

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

Copy link

@aeisenberg aeisenberg left a comment

Choose a reason for hiding this comment

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

The id property is a sub-property of exclude.

Comment on lines 2 to 4
- exclude:
id:
- cs/linq/missed-where

Choose a reason for hiding this comment

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

Suggested change
- exclude:
id:
- cs/linq/missed-where
- exclude:
id:
- cs/linq/missed-where

Copy link
Member Author

Choose a reason for hiding this comment

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

Thanks

@sungam3r sungam3r merged commit 113a26e into master Apr 19, 2023
6 checks passed
@sungam3r sungam3r deleted the codeql branch April 19, 2023 08:49
@sungam3r
Copy link
Member Author

11 warnings -> 3 warnings

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
CI CI configuration issue or pull request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants