Add require_type config option to enforce type definitions - #27
Open
akodkod wants to merge 3 commits into
Open
Codecov / codecov/project
failed
Dec 13, 2025 in 0s
55.75% (-44.25%) compared to ae8f12b
View this Pull Request on Codecov
55.75% (-44.25%) compared to ae8f12b
Details
Codecov Report
✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 55.75%. Comparing base (ae8f12b) to head (66f8fb2).
❗ There is a different number of reports uploaded between BASE (ae8f12b) and HEAD (66f8fb2). Click for more details.
Additional details and impacted files
@@ Coverage Diff @@
## main #27 +/- ##
============================================
- Coverage 100.00% 55.75% -44.25%
============================================
Files 28 20 -8
Lines 1185 608 -577
============================================
- Hits 1185 339 -846
- Misses 0 269 +269 ☔ 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.
Loading