Strengthen arguments to `robust_prune`. #2767

Job	Run time
clippy-default-features (ubuntu-latest)	1m 24s
vectorset-build (windows-latest)	6m 29s
clippy-features (ubuntu-24.04-arm)	1m 5s
clippy (no default features)	2m 14s
format check	23s
vectorset-build (ubuntu-latest)	2m 55s
clippy-default-features (ubuntu-24.04-arm)	1m 3s
docs	1m 14s
vectorset-clippy (windows-latest)	3m 33s
clippy-features (ubuntu-latest)	1m 32s
clippy-features (windows-latest)	3m 14s
clippy-default-features (windows-latest)	2m 45s
vectorset-clippy (ubuntu-latest)	1m 4s
vectorset format check	23s
CodeQL security analysis	6m 11s
basic checks	3s
sde-baseline-tests	1m 59s
LLVM Lines Regression Check	6m 53s
code coverage	14m 31s
test workspace (windows-latest)	15m 24s
test workspace (ubuntu-24.04-arm)	7m 10s
test workspace (ubuntu-latest)	8m 45s
test workspace (all features) (windows-latest)	19m 45s
test workspace (all features) (ubuntu-latest)	9m 58s
sde-avx512-tests	2m 5s
CI gate	0s
	2h 2m 2s

Navigation Menu