ci: Enable MIRI in CI#450
Conversation
Codecov Report❌ Patch coverage is
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
Flags with carried forward coverage won't be shown. Click here to find out more. ☔ View full report in Codecov by Harness. 🚀 New features to boost your workflow:
|
|
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 |
|
Oh darn, I'm really behind on catching up. |
All good, its admirable you are even getting to reviewing these :) |
|
Oh nice miri is working now and catching bugs! This is awesome :D |
Will finally close #446
Stacked on top of these PRs:
portableis disabled #445And unfortunately requires a PR on value-trait, which seems unmaintained:
simd-lite/value-trait#65