Skip to content

Fix/convert enrichment - #1537

Open
dpvc wants to merge 1 commit into
developfrom
fix/convert-enrichment
Open

Fix/convert enrichment#1537
dpvc wants to merge 1 commit into
developfrom
fix/convert-enrichment

Conversation

@dpvc

@dpvc dpvc commented Aug 5, 2026

Copy link
Copy Markdown
Member

This PR fixes some comment typos, and makes sure that the SRE options are in place if a conversion action is taken before the page is typeset. E.g., if MathJax.tex2chtml() or doc.convert() is called from a command-line application that just converts math strings without processing a page as a whole.

@dpvc
dpvc requested a review from zorkow August 5, 2026 12:19
@dpvc dpvc added this to the v4.2 milestone Aug 5, 2026
@codecov

codecov Bot commented Aug 5, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 86.93%. Comparing base (a8088bb) to head (2baf52d).

Additional details and impacted files
@@            Coverage Diff             @@
##           develop    #1537     +/-   ##
==========================================
  Coverage    86.93%   86.93%             
==========================================
  Files          388      388             
  Lines        87571    87573      +2     
  Branches      3290     4967   +1677     
==========================================
+ Hits         76129    76131      +2     
  Misses       11442    11442             

☔ View full report in Codecov by Harness.
📢 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.

@dpvc
dpvc force-pushed the fix/convert-enrichment branch from 2baf52d to 6fd363c Compare August 5, 2026 12:23
@dpvc

dpvc commented Aug 5, 2026

Copy link
Copy Markdown
Member Author

I removed the commit for the asyncLoad() change as I already have it in another branch whose PR will be made shortly.

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