Skip to content

Strengthen arguments to robust_prune. #2767

Strengthen arguments to robust_prune.

Strengthen arguments to robust_prune. #2767

Triggered via pull request August 26, 2026 21:22
Status Success
Total duration 23m 19s
Artifacts

ci.yml

on: pull_request
Matrix: clippy-default-features
Matrix: clippy-features
Matrix: vectorset-build
Matrix: vectorset-clippy
CodeQL security analysis
6m 11s
CodeQL security analysis
vectorset format check
23s
vectorset format check
basic checks
3s
basic checks
Matrix: test workspace (all features)
Matrix: test workspace
LLVM Lines Regression Check
6m 53s
LLVM Lines Regression Check
CI gate
0s
CI gate
Fit to window
Zoom out
Zoom in

Annotations

16 errors
docs
Error: ENOENT: no such file or directory, opendir '/home/runner/work/DiskANN/DiskANN/target/doc/diskann_label_filter/tests/trybuild'
docs
ENOENT: no such file or directory, opendir '/home/runner/work/DiskANN/DiskANN/target/doc/diskann_label_filter/tests/trybuild'
docs
Error: ENOENT: no such file or directory, opendir '/home/runner/work/DiskANN/DiskANN/target/doc/diskann_label_filter/tests/target'
docs
ENOENT: no such file or directory, opendir '/home/runner/work/DiskANN/DiskANN/target/doc/diskann_label_filter/tests/target'
test workspace (ubuntu-24.04-arm)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/DiskANN/DiskANN/target/tests/target'
test workspace (ubuntu-24.04-arm)
ENOENT: no such file or directory, opendir '/home/runner/work/DiskANN/DiskANN/target/tests/target'
test workspace (ubuntu-latest)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/DiskANN/DiskANN/target/tests/target'
test workspace (ubuntu-latest)
ENOENT: no such file or directory, opendir '/home/runner/work/DiskANN/DiskANN/target/tests/target'
test workspace (all features) (ubuntu-latest)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/DiskANN/DiskANN/target/tests/target'
test workspace (all features) (ubuntu-latest)
ENOENT: no such file or directory, opendir '/home/runner/work/DiskANN/DiskANN/target/tests/target'
code coverage
Error: ENOENT: no such file or directory, opendir '/home/runner/work/DiskANN/DiskANN/target/tests/target'
code coverage
ENOENT: no such file or directory, opendir '/home/runner/work/DiskANN/DiskANN/target/tests/target'
test workspace (windows-latest)
Error: ENOENT: no such file or directory, opendir 'D:\a\DiskANN\DiskANN\target\tests\target'
test workspace (windows-latest)
ENOENT: no such file or directory, opendir 'D:\a\DiskANN\DiskANN\target\tests\target'
test workspace (all features) (windows-latest)
Error: ENOENT: no such file or directory, opendir 'D:\a\DiskANN\DiskANN\target\tests\target'
test workspace (all features) (windows-latest)
ENOENT: no such file or directory, opendir 'D:\a\DiskANN\DiskANN\target\tests\target'