Skip to content

CI: add Miri #25

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
wants to merge 1 commit into
base: master
Choose a base branch
from
Draft

CI: add Miri #25

wants to merge 1 commit into from

Conversation

LebedevRI
Copy link
Member

No description provided.

Copy link

codecov bot commented Jun 28, 2025

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 93.69%. Comparing base (31ac38e) to head (8836716).
Report is 1 commits behind head on master.

Additional details and impacted files
@@           Coverage Diff           @@
##           master      #25   +/-   ##
=======================================
  Coverage   93.69%   93.69%           
=======================================
  Files          24       24           
  Lines        2808     2808           
  Branches     2808     2808           
=======================================
  Hits         2631     2631           
  Misses          3        3           
  Partials      174      174           
Flag Coverage Δ
LLVM=16 93.63% <ø> (ø)
LLVM=19 93.69% <ø> (ø)
endianness=big 93.65% <ø> (ø)
endianness=little 93.63% <ø> (ø)
host=aarch64 93.63% <ø> (ø)
host=x86_64 93.69% <ø> (ø)
linux 93.69% <ø> (ø)
macos 93.63% <ø> (ø)
profile=dev 93.69% <ø> (ø)
profile=release 93.69% <ø> (ø)
rust=nightly 93.69% <ø> (ø)
rust=nightly-msvc 93.63% <ø> (ø)
rust=stable 93.69% <ø> (ø)
rust=stable-msvc 93.63% <ø> (ø)
target=aarch64 93.63% <ø> (ø)
target=powerpc64 93.65% <ø> (ø)
target=x86_64 93.63% <ø> (ø)
windows 93.63% <ø> (ø)

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

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

@LebedevRI LebedevRI force-pushed the miri branch 5 times, most recently from 43019bd to 0a9adb1 Compare June 28, 2025 04:31
@LebedevRI LebedevRI marked this pull request as draft June 29, 2025 17:07
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.

1 participant