[v5.0.x] ofi: follow user specified include/exclude list to select providers#12251
Merged
wenduwan merged 1 commit intoopen-mpi:v5.0.xfrom Jan 22, 2024
Merged
[v5.0.x] ofi: follow user specified include/exclude list to select providers#12251wenduwan merged 1 commit intoopen-mpi:v5.0.xfrom
wenduwan merged 1 commit intoopen-mpi:v5.0.xfrom
