Simple theory maps and simple pushouts - #146
Draft
kris-brown wants to merge 2 commits into
Draft
Codecov / codecov/project
failed
Jul 25, 2026 in 0s
94.80% (target 95.00%)
View this Pull Request on Codecov
94.80% (target 95.00%)
Details
Codecov Report
❌ Patch coverage is 96.96970% with 3 lines in your changes missing coverage. Please review.
✅ Project coverage is 94.80%. Comparing base (53c6086) to head (a65ffdf).
| Files with missing lines | Patch % | Lines |
|---|---|---|
| src/syntax/TheoryMaps.jl | 94.33% | 3 Missing |
❌ Your project check has failed because the head coverage (94.80%) is below the target coverage (95.00%). You can increase the head coverage or adjust the target coverage.
Additional details and impacted files
@@ Coverage Diff @@
## main #146 +/- ##
==========================================
+ Coverage 94.52% 94.80% +0.27%
==========================================
Files 38 38
Lines 2082 2174 +92
==========================================
+ Hits 1968 2061 +93
+ Misses 114 113 -1 ☔ 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.
Loading