Skip to content

Speed up [sym]cover_min - #45

Merged
timholy merged 7 commits into
mainfrom
woodbury-newton
Aug 23, 2026
Merged

Speed up [sym]cover_min#45
timholy merged 7 commits into
mainfrom
woodbury-newton

Share one Woodbury solve between both workers

c451718
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project failed Aug 23, 2026 in 1s

98.41% (-0.44%) compared to f27e222

View this Pull Request on Codecov

98.41% (-0.44%) compared to f27e222

Details

Codecov Report

❌ Patch coverage is 99.82639% with 1 line in your changes missing coverage. Please review.
✅ Project coverage is 98.41%. Comparing base (f27e222) to head (c451718).

Files with missing lines Patch % Lines
src/minimal_covers.jl 99.82% 1 Missing ⚠️
Additional details and impacted files
@@            Coverage Diff             @@
##             main      #45      +/-   ##
==========================================
- Coverage   98.84%   98.41%   -0.44%     
==========================================
  Files          14       13       -1     
  Lines        2417     2958     +541     
==========================================
+ Hits         2389     2911     +522     
- Misses         28       47      +19     

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

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.