Auto-retry failed CI builds once#3718

gtwang01 wants to merge 1 commit intofacebookresearch:mainfacebookresearch/faiss:mainfrom

gtwang01:export-D60697701gtwang01/faiss:export-D60697701Copy head branch name to clipboard