feat: Add timeout options and stats to Badger #496
Merged
Codecov / codecov/project
succeeded
Jul 24, 2024 in 0s
82.95% (+0.02%) compared to 4052714
View this Pull Request on Codecov
82.95% (+0.02%) compared to 4052714
Details
Codecov Report
Attention: Patch coverage is 88.88889%
with 4 lines
in your changes missing coverage. Please review.
Project coverage is 82.95%. Comparing base (
4052714
) to head (8965e9e
).
Files | Patch % | Lines |
---|---|---|
tket2/src/optimiser/badger/log.rs | 91.17% | 3 Missing |
badger-optimiser/src/main.rs | 0.00% | 1 Missing |
Additional details and impacted files
@@ Coverage Diff @@
## main #496 +/- ##
==========================================
+ Coverage 82.92% 82.95% +0.02%
==========================================
Files 64 64
Lines 6612 6646 +34
Branches 6091 6125 +34
==========================================
+ Hits 5483 5513 +30
- Misses 849 853 +4
Partials 280 280
☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.
Loading