v5.0.x: Github CI: use unique Github Action names#12371

wenduwan merged 1 commit intoopen-mpi:v5.0.xopen-mpi/ompi:v5.0.xfrom

jsquyres:pr/v5.0.x/rename-inidividual-github-actionsjsquyres/ompi:pr/v5.0.x/rename-inidividual-github-actionsCopy head branch name to clipboard