Skip to content

[Feat] Archimedean conditionals: remove superfluous type parameters#339

Merged
lrnv merged 2 commits intomainfrom
reduce_type_params
Oct 17, 2025
Merged

[Feat] Archimedean conditionals: remove superfluous type parameters#339
lrnv merged 2 commits intomainfrom
reduce_type_params

Conversation

@lrnv
Copy link
Owner

@lrnv lrnv commented Oct 17, 2025

No description provided.

@codecov
Copy link

codecov bot commented Oct 17, 2025

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 76.96%. Comparing base (5cf7615) to head (7d6d8b4).
⚠️ Report is 2 commits behind head on main.

Additional details and impacted files
@@            Coverage Diff             @@
##             main     #339      +/-   ##
==========================================
- Coverage   76.98%   76.96%   -0.03%     
==========================================
  Files          84       84              
  Lines        4970     4970              
==========================================
- Hits         3826     3825       -1     
- Misses       1144     1145       +1     

☔ 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.

@lrnv lrnv merged commit c974872 into main Oct 17, 2025
6 checks passed
@lrnv lrnv deleted the reduce_type_params branch October 17, 2025 14:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant