[CI] Wanted: build configuration without MPI
@ansgar Is it possible to get at least one build configuration that does not include MPI? That would uncover bugs like core/dune-common!372 (closed) sooner.
(The cmake variable to disable MPI would be -DCMAKE_DISABLE_FIND_PACKAGE_MPI=TRUE
).