Log Replay #2026
Open
Log Replay #2026
Codecov / codecov/project
succeeded
Feb 11, 2026 in 1s
50.30% (-0.08%) compared to 77ab798
View this Pull Request on Codecov
50.30% (-0.08%) compared to 77ab798
Details
Codecov Report
❌ Patch coverage is 0% with 49 lines in your changes missing coverage. Please review.
✅ Project coverage is 50.30%. Comparing base (77ab798) to head (2302144).
Additional details and impacted files
@@ Coverage Diff @@
## dev #2026 +/- ##
==========================================
- Coverage 50.38% 50.30% -0.08%
==========================================
Files 230 230
Lines 25365 25387 +22
==========================================
- Hits 12780 12772 -8
- Misses 12585 12615 +30 | Files with missing lines | Coverage Δ | |
|---|---|---|
| src/web/Updated.re | 0.00% <0.00%> (ø) |
|
| src/web/app/editors/result/Theorems.re | 1.49% <0.00%> (ø) |
|
| src/haz3lcore/zipper/action/Action.re | 0.00% <0.00%> (ø) |
|
| src/web/Store.re | 9.67% <0.00%> (ø) |
|
| src/web/app/editors/result/EvalResult.re | 1.27% <0.00%> (ø) |
|
| src/web/app/editors/stepper/InductionStep.re | 35.48% <0.00%> (ø) |
|
| src/web/app/sidebar/SidebarModel.re | 0.00% <0.00%> (ø) |
|
| src/web/view/NutMenu.re | 0.00% <0.00%> (ø) |
|
| src/web/app/editors/stepper/MissingStep.re | 12.64% <0.00%> (ø) |
|
| src/haz3lcore/zipper/action/Perform.re | 24.63% <0.00%> (-1.52%) |
⬇️ |
| ... and 4 more |
🚀 New features to boost your workflow:
- ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
- 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.
Loading