Skip to content

[discussion only — not for merge] Spec-literal jgm/djot#393 heading IDs (preserves non-ASCII)#182

Closed
dereuromark wants to merge 1 commit into
masterfrom
align-heading-ids-djot-393
Closed

[discussion only — not for merge] Spec-literal jgm/djot#393 heading IDs (preserves non-ASCII)#182
dereuromark wants to merge 1 commit into
masterfrom
align-heading-ids-djot-393

Align auto-generated heading IDs with the settled djot spec wording

b83f1cb
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project succeeded May 19, 2026 in 0s

91.10% (+0.00%) compared to 6b90dfe

View this Pull Request on Codecov

91.10% (+0.00%) compared to 6b90dfe

Details

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 91.10%. Comparing base (6b90dfe) to head (b83f1cb).

Additional details and impacted files
@@            Coverage Diff            @@
##             master     #182   +/-   ##
=========================================
  Coverage     91.10%   91.10%           
+ Complexity     3321     3320    -1     
=========================================
  Files            99       99           
  Lines          8497     8498    +1     
=========================================
+ Hits           7741     7742    +1     
  Misses          756      756           

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