search

open-mpi / ompi

Open MPI main development repository
https://www.open-mpi.org
Other
2.17k stars 861 forks source link

v5.0x: update pmix ptr #12770

Closed janjust closed 3 months ago

janjust commented 3 months ago

bot:notacherrypick

wenduwan commented 3 months ago

Running AWS CI on this PR