Skip Ackermann constraints for derived arrays (weak equivalence) #8841
Codecov / codecov/project
succeeded
Mar 4, 2026 in 0s
80.02% (+0.01%) compared to 708e3fe
View this Pull Request on Codecov
80.02% (+0.01%) compared to 708e3fe
Details
Codecov Report
✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 80.02%. Comparing base (708e3fe) to head (86a9c39).
Additional details and impacted files
@@ Coverage Diff @@
## develop #8841 +/- ##
===========================================
+ Coverage 80.00% 80.02% +0.01%
===========================================
Files 1700 1700
Lines 188252 188280 +28
Branches 73 73
===========================================
+ Hits 150613 150664 +51
+ Misses 37639 37616 -23 ☔ View full report in Codecov by Sentry.
📢 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.
- 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.
Loading