Skip to content

ci: Enable MIRI in CI#450

Open
EmilyMatt wants to merge 12 commits into
simd-lite:mainfrom
EmilyMatt:enable-miri
Open

ci: Enable MIRI in CI#450
EmilyMatt wants to merge 12 commits into
simd-lite:mainfrom
EmilyMatt:enable-miri

Conversation

@EmilyMatt

@EmilyMatt EmilyMatt commented Apr 30, 2026

Copy link
Copy Markdown
Contributor

Will finally close #446

Stacked on top of these PRs:

And unfortunately requires a PR on value-trait, which seems unmaintained:
simd-lite/value-trait#65

@codecov

codecov Bot commented Jul 8, 2026

Copy link
Copy Markdown

Codecov Report

❌ Patch coverage is 58.33333% with 10 lines in your changes missing coverage. Please review.
✅ Project coverage is 72.11%. Comparing base (c18bb92) to head (b6f1ee2).
⚠️ Report is 6 commits behind head on main.

Files with missing lines Patch % Lines
src/lib.rs 58.33% 10 Missing ⚠️
Additional details and impacted files
@@            Coverage Diff             @@
##             main     #450      +/-   ##
==========================================
- Coverage   72.33%   72.11%   -0.22%     
==========================================
  Files          51       49       -2     
  Lines       11435    11327     -108     
==========================================
- Hits         8271     8168     -103     
+ Misses       3164     3159       -5     
Flag Coverage Δ
unittests 72.11% <58.33%> (-0.22%) ⬇️

Flags with carried forward coverage won't be shown. Click here to find out more.

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

@Licenser

Licenser commented Jul 8, 2026

Copy link
Copy Markdown
Member

Heya @EmilyMatt everything else is merged but the mimir change seems to have broke nightly tests so something is odd here

@EmilyMatt

Copy link
Copy Markdown
Contributor Author

Heya @EmilyMatt everything else is merged but the mimir change seems to have broke nightly tests so something is odd here

I believe this cannot be merged until the value-trait is merged and the version bumped since the bug is there

@Licenser

Licenser commented Jul 9, 2026

Copy link
Copy Markdown
Member

Oh darn, I'm really behind on catching up.

@EmilyMatt

Copy link
Copy Markdown
Contributor Author

Oh darn, I'm really behind on catching up.

All good, its admirable you are even getting to reviewing these :)

@Licenser

Licenser commented Jul 9, 2026

Copy link
Copy Markdown
Member

Oh nice miri is working now and catching bugs! This is awesome :D

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.

Fix issues in order to re-enable Miri

2 participants