From d9c402972e45fef34b5d79c56a8813eb0865c8e8 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Fri, 6 Feb 2026 07:56:01 +0000 Subject: [PATCH 1/5] Initial plan From e9eb6f4da47bb36fb791162c01f2342dca36fbb3 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Fri, 6 Feb 2026 07:57:31 +0000 Subject: [PATCH 2/5] Add miri test coverage to CI workflow Co-authored-by: arrayka <1551741+arrayka@users.noreply.github.com> --- .github/workflows/ci.yml | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index dae278a26..4211bcc15 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -297,10 +297,17 @@ jobs: --workspace \ --lcov --output-path lcov.info + - name: Generate miri code coverage + run: | + RUSTFLAGS="--cfg miri" cargo llvm-cov nextest --locked --cargo-profile ci \ + --config "$RUST_CONFIG" \ + --workspace \ + --lcov --output-path lcov_miri.info + - name: Upload coverage to Codecov uses: codecov/codecov-action@v4 with: - files: lcov.info + files: lcov.info,lcov_miri.info fail_ci_if_error: true env: CODECOV_TOKEN: ${{ secrets.CODECOV_TOKEN }} From 26bf0c5dd78ce96ba94027fc913d511b9573cc69 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Fri, 6 Feb 2026 07:58:40 +0000 Subject: [PATCH 3/5] Fix RUSTFLAGS handling in miri coverage step Co-authored-by: arrayka <1551741+arrayka@users.noreply.github.com> --- .github/workflows/ci.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 4211bcc15..c8afca656 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -299,8 +299,8 @@ jobs: - name: Generate miri code coverage run: | - RUSTFLAGS="--cfg miri" cargo llvm-cov nextest --locked --cargo-profile ci \ - --config "$RUST_CONFIG" \ + cargo llvm-cov nextest --locked --cargo-profile ci \ + --config 'build.rustflags=["-Dwarnings", "--cfg", "miri"]' \ --workspace \ --lcov --output-path lcov_miri.info From c757a4cf9229e18e4e96d5fc6e1b5e46bf2e6c75 Mon Sep 17 00:00:00 2001 From: "Alex Razumov (from Dev Box)" Date: Fri, 6 Feb 2026 00:56:22 -0800 Subject: [PATCH 4/5] Add flags --- .github/workflows/ci.yml | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index c8afca656..87e33dfb6 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -307,8 +307,18 @@ jobs: - name: Upload coverage to Codecov uses: codecov/codecov-action@v4 with: - files: lcov.info,lcov_miri.info + 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 }} From de0f18e564a1121aa4ded0811dc8881e6a4ad8ff Mon Sep 17 00:00:00 2001 From: "Alex Razumov (from Dev Box)" Date: Fri, 6 Feb 2026 01:25:10 -0800 Subject: [PATCH 5/5] Run miri coverage for diskann-quantization only --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 87e33dfb6..4b97f95ca 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -301,7 +301,7 @@ jobs: run: | cargo llvm-cov nextest --locked --cargo-profile ci \ --config 'build.rustflags=["-Dwarnings", "--cfg", "miri"]' \ - --workspace \ + --package diskann-quantization \ --lcov --output-path lcov_miri.info - name: Upload coverage to Codecov