Skip to content

[ci] Hide some auto-gen'd PRs from release notes #2634

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

Merged
merged 1 commit into from
Jul 18, 2025

Conversation

joshlf
Copy link
Member

@joshlf joshlf commented Jul 15, 2025

Closes #2605

gherrit-pr-id: I3dada74e75ae74a80c992463e353b99a8460918c
@joshlf joshlf requested a review from jswrenn July 15, 2025 12:35
@joshlf joshlf enabled auto-merge July 15, 2025 12:36
@joshlf joshlf mentioned this pull request Jul 15, 2025
@joshlf joshlf added the hide-from-release-notes Don't include this PR when generating release notes label Jul 15, 2025
@codecov-commenter
Copy link

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 88.72%. Comparing base (f797595) to head (b4cb39e).

Additional details and impacted files
@@           Coverage Diff           @@
##             main    #2634   +/-   ##
=======================================
  Coverage   88.72%   88.72%           
=======================================
  Files          20       20           
  Lines        5332     5332           
=======================================
  Hits         4731     4731           
  Misses        601      601           

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

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@joshlf joshlf added this pull request to the merge queue Jul 18, 2025
Merged via the queue into main with commit 665acb9 Jul 18, 2025
89 checks passed
@joshlf joshlf deleted the I3dada74e75ae74a80c992463e353b99a8460918c branch July 18, 2025 15:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
hide-from-release-notes Don't include this PR when generating release notes
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Curate Changelog
3 participants