Fix build-release workflow#4162

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

mnorris11:export-D68965899mnorris11/faiss:export-D68965899Copy head branch name to clipboard