Skip to content

Conversation

google-pr-creation-bot
Copy link
Contributor

Automated changes by create-pull-request GitHub action

@joshlf joshlf self-requested a review February 24, 2025 21:41
@joshlf joshlf enabled auto-merge February 24, 2025 21:41
@codecov-commenter
Copy link

codecov-commenter commented Feb 24, 2025

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 87.82%. Comparing base (32fdbee) to head (0de574e).

Additional details and impacted files
@@           Coverage Diff           @@
##           v0.8.x    #2379   +/-   ##
=======================================
  Coverage   87.82%   87.82%           
=======================================
  Files          16       16           
  Lines        6159     6159           
=======================================
  Hits         5409     5409           
  Misses        750      750           

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

Explain why we only support concrete types so that future authors won't
spuriously add support for them.
@joshlf joshlf force-pushed the backport-967b3a09c5998884c25ed121f88d0373d3d2ead4 branch from 4ae3ff5 to 0de574e Compare February 24, 2025 22:11
@joshlf joshlf added this pull request to the merge queue Feb 24, 2025
Merged via the queue into google:v0.8.x with commit 3ae2b9d Feb 24, 2025
87 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants