fix: cagra bug#4963

Anarion-zuo wants to merge 7 commits intofacebookresearch:mainfacebookresearch/faiss:mainfrom

Anarion-zuo:aaronzuo/fix_cagraAnarion-zuo/faiss:aaronzuo/fix_cagraCopy head branch name to clipboard