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

feat(python): Changed mapping type from dict to Mapping (#19400) #19436

Open
wants to merge 3 commits into
base: main
Choose a base branch
from

Conversation

DavideCanton
Copy link

Resolves #19400

@DavideCanton DavideCanton changed the title feat: changed mapping type from dict to Mapping (#19400) feat(python): Changed mapping type from dict to Mapping (#19400) Oct 24, 2024
@github-actions github-actions bot added enhancement New feature or an improvement of an existing feature python Related to Python Polars and removed title needs formatting labels Oct 24, 2024
@DavideCanton
Copy link
Author

It seems that the check failing is unrelated to my changes, is it a flaky test?

Copy link

codecov bot commented Nov 13, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 79.73%. Comparing base (18786ac) to head (d0ba8b3).

Additional details and impacted files
@@            Coverage Diff             @@
##             main   #19436      +/-   ##
==========================================
- Coverage   79.73%   79.73%   -0.01%     
==========================================
  Files        1543     1543              
  Lines      212765   212765              
  Branches     2441     2441              
==========================================
- Hits       169656   169648       -8     
- Misses      42560    42568       +8     
  Partials      549      549              

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or an improvement of an existing feature python Related to Python Polars
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Generalize the type of the input to rename from dict to mapping
1 participant