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 unreferenced legacy filtering docs #7124

Merged
merged 2 commits into from
May 27, 2024
Merged

Conversation

glen-84
Copy link
Collaborator

@glen-84 glen-84 commented May 26, 2024

Summary of the changes (Less than 80 chars)

  • Removed unreferenced legacy filtering docs.

@github-actions github-actions bot added the 📚 documentation This issue is about working on our documentation. label May 26, 2024
Copy link

codecov bot commented May 26, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 76.31%. Comparing base (cb28038) to head (c86958e).

Additional details and impacted files
@@            Coverage Diff             @@
##             main    #7124      +/-   ##
==========================================
- Coverage   78.80%   76.31%   -2.50%     
==========================================
  Files        2591     2608      +17     
  Lines      129782   130345     +563     
==========================================
- Hits       102278    99469    -2809     
- Misses      27504    30876    +3372     
Flag Coverage Δ
unittests 76.31% <ø> (-2.50%) ⬇️

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

Copy link

github-actions bot commented May 26, 2024

Qodana for .NET

It seems all right 👌

No new problems were found according to the checks applied

💡 Qodana analysis was run in the pull request mode: only the changed files were checked
☁️ View the detailed Qodana report

Contact Qodana team

Contact us at qodana-support@jetbrains.com

Copy link
Member

@PascalSenn PascalSenn left a comment

Choose a reason for hiding this comment

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

LGTM

@glen-84 glen-84 mentioned this pull request May 26, 2024
@michaelstaib michaelstaib merged commit c2494d2 into main May 27, 2024
6 checks passed
@michaelstaib michaelstaib deleted the gai/remove-filtering-doc branch May 27, 2024 14:46
@PascalSenn PascalSenn mentioned this pull request Jun 8, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
📚 documentation This issue is about working on our documentation.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants