Add human readable names to PR build steps#3739

ramilbakhshyiev wants to merge 2 commits intomainfacebookresearch/faiss:mainfrom

export-D60978686facebookresearch/faiss:export-D60978686Copy head branch name to clipboard