Skip to content

Conversation

@eriknw
Copy link
Member

@eriknw eriknw commented Oct 30, 2023

I first introduced these improvements in #501, but I'm splitting them into a new PR b/c they should go into main, and it will make it easier to review (and revert if necessary) #501.

I plan on merging once CI passes. I don't think there's anything particularly controversial or dangerous here, but I'll be happy to answer any questions even after merging.

@codecov
Copy link

codecov bot commented Oct 30, 2023

Codecov Report

Merging #517 (a14fa33) into main (bbb1f4f) will increase coverage by 0.62%.
The diff coverage is 86.00%.

@@            Coverage Diff             @@
##             main     #517      +/-   ##
==========================================
+ Coverage   98.96%   99.59%   +0.62%     
==========================================
  Files          95       95              
  Lines       21254    21291      +37     
  Branches     3987     3999      +12     
==========================================
+ Hits        21035    21205     +170     
+ Misses        153       56      -97     
+ Partials       66       30      -36     

@eriknw eriknw merged commit 7935e50 into python-graphblas:main Oct 30, 2023
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.

1 participant