Skip to content

Conversation

@Deric-W
Copy link
Owner

@Deric-W Deric-W commented Oct 4, 2022

No description provided.

@codecov
Copy link

codecov bot commented Oct 4, 2022

Codecov Report

Base: 97.58% // Head: 97.55% // Decreases project coverage by -0.02% ⚠️

Coverage data is based on head (86546e9) compared to base (b1e10a0).
Patch coverage: 96.77% of modified lines in pull request are covered.

Additional details and impacted files
@@            Coverage Diff             @@
##             main       #2      +/-   ##
==========================================
- Coverage   97.58%   97.55%   -0.03%     
==========================================
  Files          25       25              
  Lines         951      981      +30     
==========================================
+ Hits          928      957      +29     
- Misses         23       24       +1     
Flag Coverage Δ
Linux 97.55% <96.77%> (-0.03%) ⬇️

Flags with carried forward coverage won't be shown. Click here to find out more.

Impacted Files Coverage Δ
lambda_calculus/errors.py 100.00% <ø> (ø)
lambda_calculus/visitors/__init__.py 84.09% <ø> (ø)
lambda_calculus/visitors/substitution/__init__.py 84.44% <ø> (ø)
lambda_calculus/visitors/substitution/checked.py 100.00% <ø> (ø)
lambda_calculus/visitors/substitution/renaming.py 98.79% <ø> (ø)
lambda_calculus/visitors/substitution/unsafe.py 100.00% <ø> (ø)
lambda_calculus/visitors/walking.py 100.00% <ø> (ø)
lambda_calculus/terms/__init__.py 96.26% <66.66%> (-0.68%) ⬇️
lambda_calculus/terms/arithmetic.py 96.15% <100.00%> (+1.41%) ⬆️
lambda_calculus/terms/combinators.py 100.00% <100.00%> (ø)
... and 3 more

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

☔ View full report at Codecov.
📢 Do you have feedback about the report comment? Let us know in this issue.

@Deric-W Deric-W merged commit cc80c04 into main Oct 4, 2022
@Deric-W Deric-W deleted the docs branch October 4, 2022 15:59
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