Skip to content

Fix font-extension URLs to include @mathjax (mathjax/MathJax#3387)#1291

Merged
dpvc merged 1 commit intodevelopfrom
issue3387
Jul 18, 2025
Merged

Fix font-extension URLs to include @mathjax (mathjax/MathJax#3387)#1291
dpvc merged 1 commit intodevelopfrom
issue3387

Conversation

@dpvc
Copy link
Copy Markdown
Member

@dpvc dpvc commented Jul 2, 2025

This PR fixes an error with the font-extension URLs, which failed to include the @mathjax scope.

Resolves issue mathjax/MathJax#3387.

@dpvc dpvc requested a review from zorkow July 2, 2025 14:37
@dpvc dpvc added this to the v4.0 milestone Jul 2, 2025
@codecov
Copy link
Copy Markdown

codecov Bot commented Jul 2, 2025

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 86.71%. Comparing base (4d1e195) to head (33244ad).
Report is 14 commits behind head on develop.

Additional details and impacted files
@@           Coverage Diff            @@
##           develop    #1291   +/-   ##
========================================
  Coverage    86.71%   86.71%           
========================================
  Files          337      337           
  Lines        83979    83979           
  Branches      4750     4750           
========================================
  Hits         72826    72826           
  Misses       11130    11130           
  Partials        23       23           

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

Copy link
Copy Markdown
Member

@zorkow zorkow left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm.

@dpvc dpvc merged commit cde957c into develop Jul 18, 2025
3 checks passed
@dpvc dpvc deleted the issue3387 branch July 18, 2025 17:51
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