Fix processing of CMake option with-mpi
#587
build_dispatch.yml
on: push
Trigger downstream repos
0s
with-mpi
#587