Fix OpenMPI cache miss in CI workflows#263

Geethapranay1 wants to merge 1 commit into

precice:developprecice/micro-manager:developfrom

Geethapranay1:fix-openmpi-cache-ciGeethapranay1/micro-manager:fix-openmpi-cache-ciCopy head branch name to clipboard