Use mpi-extensions main Open MPI in CI#834

allnes wants to merge 12 commits into

learning-process:masterlearning-process/parallel_programming_course:masterfrom

allnes:codex/use-mpi-extensions-nightly-openmpiallnes/parallel_programming_course:codex/use-mpi-extensions-nightly-openmpiCopy head branch name to clipboard