Skip to content

Register weighted-microdata rules, with AST guards and #767 proofs - #3938

Draft
anth-volk wants to merge 1 commit into
masterfrom
microdata-weight-rules
Draft

anth-volk wants to merge 1 commit into
masterfrom
microdata-weight-rules

Register the weighted-microdata rules, with guards and proofs

b9eab24
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project succeeded Oct 22, 2026 in 1s

87.72% (+36.60%) compared to 615ec9e

View this Pull Request on Codecov

87.72% (+36.60%) compared to 615ec9e

Details

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 87.72%. Comparing base (615ec9e) to head (b9eab24).
⚠️ Report is 1 commits behind head on master.

Additional details and impacted files
@@             Coverage Diff             @@
##           master    #3938       +/-   ##
===========================================
+ Coverage   51.11%   87.72%   +36.60%     
===========================================
  Files         242      258       +16     
  Lines       14441    15864     +1423     
  Branches     2307     2594      +287     
===========================================
+ Hits         7382    13917     +6535     
+ Misses       6436     1280     -5156     
- Partials      623      667       +44     

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