Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update how_it_works.md #672

Open
wants to merge 2 commits into
base: master
Choose a base branch
from
Open

Update how_it_works.md #672

wants to merge 2 commits into from

Conversation

vpuri3
Copy link

@vpuri3 vpuri3 commented Nov 15, 2023

Add code for forming nested duals in the docs so folks don't make the mistakes I made in #671

Adding code for forming nested duals in the docs so folks don't make the mistakes I made in JuliaDiff#671
Copy link

codecov bot commented Nov 15, 2023

Codecov Report

All modified and coverable lines are covered by tests ✅

Comparison is base (d300209) 89.65% compared to head (a9019e9) 86.59%.

❗ Current head a9019e9 differs from pull request most recent head ff943a8. Consider uploading reports for the commit ff943a8 to get more accurate results

Additional details and impacted files
@@            Coverage Diff             @@
##           master     #672      +/-   ##
==========================================
- Coverage   89.65%   86.59%   -3.07%     
==========================================
  Files          11       10       -1     
  Lines         967      895      -72     
==========================================
- Hits          867      775      -92     
- Misses        100      120      +20     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

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