Add miri test coverage to CI workflow#729

Merged

arrayka merged 5 commits intomainfrom

copilot/add-miri-code-coverage

Feb 6, 2026

Commits on Feb 6, 2026

Initial plan
Copilot
committed
Add miri test coverage to CI workflow

Copilot
and
arrayka
committed
Fix RUSTFLAGS handling in miri coverage step

Copilot
and
arrayka
committed
Add flags
Alex Razumov (from Dev Box)
committed
Run miri coverage for diskann-quantization only
Alex Razumov (from Dev Box)
committed