Skip to content

Add miri test coverage to CI workflow #729

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.

Sign up for GitHub

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

Merged
arrayka merged 5 commits into from
Feb 6, 2026
+17 −0
Merged

Add miri test coverage to CI workflow #729

Changes from all commits
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
d9c4029
Initial plan
Copilot Feb 6, 2026
e9eb6f4
Add miri test coverage to CI workflow
Copilot Feb 6, 2026
26bf0c5
Fix RUSTFLAGS handling in miri coverage step
Copilot Feb 6, 2026
c757a4c
Add flags
Feb 6, 2026
de0f18e
Run miri coverage for diskann-quantization only
Feb 6, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
17 changes: 17 additions & 0 deletions .github/workflows/ci.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -297,11 +297,28 @@ jobs:
--workspace \
--lcov --output-path lcov.info

- name: Generate miri code coverage
run: |
cargo llvm-cov nextest --locked --cargo-profile ci \
--config 'build.rustflags=["-Dwarnings", "--cfg", "miri"]' \
--package diskann-quantization \
--lcov --output-path lcov_miri.info

- name: Upload coverage to Codecov
uses: codecov/codecov-action@v4
with:
files: lcov.info
fail_ci_if_error: true
flags: unittests
env:
CODECOV_TOKEN: ${{ secrets.CODECOV_TOKEN }}

- name: Upload miri coverage to Codecov
uses: codecov/codecov-action@v4
with:
files: lcov_miri.info
fail_ci_if_error: true
flags: miri
env:
CODECOV_TOKEN: ${{ secrets.CODECOV_TOKEN }}

Expand Down