search

mun-lang / mun

Source code for the Mun language and runtime.
https://mun-lang.org
Other
1.81k stars 72 forks source link

misc(scripts): script to run and collect Miri logs #537

Closed belagoesr closed 7 months ago

belagoesr commented 8 months ago

Description This PR has a script to run Miri and collect logs per crate in the codebase. Output looks like this:

image

Issues Related to #420

codecov[bot] commented 7 months ago

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Comparison is base (c9a8ab3) 87.34% compared to head (5bf6d75) 87.37%.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #537 +/- ## ========================================== + Coverage 87.34% 87.37% +0.02% ========================================== Files 269 269 Lines 31167 31167 ========================================== + Hits 27224 27232 +8 + Misses 3943 3935 -8 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.