Skip to content

Feature gate ring for Miri support - #15

Merged
michaelsproul merged 4 commits into
mainfrom
no-ring
Sep 10, 2025
Merged

Feature gate ring for Miri support#15
michaelsproul merged 4 commits into
mainfrom
no-ring

Quoting

f7bde56
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project succeeded Sep 10, 2025 in 0s

50.00% (+0.00%) compared to 64c47ad

View this Pull Request on Codecov

50.00% (+0.00%) compared to 64c47ad

Details

Codecov Report

❌ Patch coverage is 0% with 4 lines in your changes missing coverage. Please review.
✅ Project coverage is 50.00%. Comparing base (64c47ad) to head (f7bde56).

Files with missing lines Patch % Lines
src/lib.rs 0.00% 4 Missing ⚠️
Additional details and impacted files
@@           Coverage Diff           @@
##             main      #15   +/-   ##
=======================================
  Coverage   50.00%   50.00%           
=======================================
  Files           2        2           
  Lines          70       70           
=======================================
  Hits           35       35           
  Misses         35       35           

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