Skip to content

Conversation

ice1000
Copy link
Member

@ice1000 ice1000 commented Mar 4, 2025

No description provided.

ice1000 added a commit that referenced this pull request May 3, 2025
@ice1000 ice1000 force-pushed the let-term branch 3 times, most recently from d8f7bae to 8c04020 Compare September 26, 2025 12:20
Copy link

codecov bot commented Sep 26, 2025

Codecov Report

❌ Patch coverage is 96.49123% with 2 lines in your changes missing coverage. Please review.
✅ Project coverage is 83.58%. Comparing base (5897aa0) to head (6d43b69).
⚠️ Report is 1 commits behind head on main.

Files with missing lines Patch % Lines
...e/src/main/java/org/aya/tyck/pat/ClauseTycker.java 90.00% 0 Missing and 2 partials ⚠️
Additional details and impacted files
@@             Coverage Diff              @@
##               main    #1330      +/-   ##
============================================
+ Coverage     83.13%   83.58%   +0.45%     
- Complexity     4318     4353      +35     
============================================
  Files           389      389              
  Lines         12686    12715      +29     
  Branches       1513     1516       +3     
============================================
+ Hits          10546    10628      +82     
+ Misses         1344     1293      -51     
+ Partials        796      794       -2     

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

@ice1000 ice1000 force-pushed the let-term branch 3 times, most recently from 4071ee9 to 3c33a96 Compare September 28, 2025 15:37
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.

2 participants