Skip to content

Change CI to use OpenMPI instead of MPICH#172

Open
paulromano wants to merge 1 commit intoenrico-dev:masterfrom paulromano:ci-openmpi
+2-4

Commits