diff --git a/.github/workflows/mpirun_workaround.sh b/.github/workflows/mpirun_workaround.sh index c67bf49ae4..cae5a9e791 100755 --- a/.github/workflows/mpirun_workaround.sh +++ b/.github/workflows/mpirun_workaround.sh @@ -14,6 +14,11 @@ # This script provides a workaround by putting the called sub-command into # a script in a temporary file. +mpiexec -n 1 ls --all \ + && echo "MPIRUN WORKING AGAIN, PLEASE REMOVE WORKAROUND" >&2 \ + && exit 1 \ + || true + mpirun_args=() script_file="$(mktemp)"