Skip to content

Refactor the website around a Typst-backed reduction graph - #1156

Merged
GiggleLiu merged 14 commits into
mainfrom
refactor/website-main
Sep 18, 2026
Merged

GiggleLiu merged 14 commits into
mainfrom
refactor/website-main

Keep website source-link metadata in documentation export

4b97b0b
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project succeeded Sep 17, 2026 in 0s

95.93% (target 95.00%)

View this Pull Request on Codecov

95.93% (target 95.00%)

Details

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 95.93%. Comparing base (7dd5fcd) to head (4b97b0b).

Additional details and impacted files
@@           Coverage Diff           @@
##             main    #1156   +/-   ##
=======================================
  Coverage   95.93%   95.93%           
=======================================
  Files        1074     1074           
  Lines      132106   132106           
=======================================
  Hits       126730   126730           
  Misses       5376     5376           

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