Skip to content

Improve handling when no MPI found.#1514

Merged
shuds13 merged 2 commits intodevelopfrom feature/no_mpi_handlingFeb 18, 2025

Commits

Commits on Feb 17, 2025