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: Add HugrMutInternals::insert_ports #1915

Merged
merged 4 commits into from
Feb 10, 2025

Update hugr-core/src/hugr/internal.rs

43f4b76
Select commit
Loading
Failed to load commit list.
Merged

feat: Add HugrMutInternals::insert_ports #1915

Update hugr-core/src/hugr/internal.rs
43f4b76
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project succeeded Feb 10, 2025 in 0s

83.78% (+0.01%) compared to 5e7c81e

View this Pull Request on Codecov

83.78% (+0.01%) compared to 5e7c81e

Details

Codecov Report

Attention: Patch coverage is 84.84848% with 10 lines in your changes missing coverage. Please review.

Project coverage is 83.78%. Comparing base (5e7c81e) to head (43f4b76).
Report is 1 commits behind head on main.

Files with missing lines Patch % Lines
hugr-core/src/hugr/internal.rs 84.84% 10 Missing ⚠️
Additional details and impacted files
@@            Coverage Diff             @@
##             main    #1915      +/-   ##
==========================================
+ Coverage   83.77%   83.78%   +0.01%     
==========================================
  Files         196      196              
  Lines       37374    37470      +96     
  Branches    34187    34283      +96     
==========================================
+ Hits        31311    31396      +85     
- Misses       4285     4296      +11     
  Partials     1778     1778              

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