Add mechanism to get rid of the workaround again in future

franzpoeschel · Dec 7, 2023 · 589cbdb · 589cbdb
1 parent f7976f1
commit 589cbdb
Showing 1 changed file with 5 additions and 0 deletions.
diff --git 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)"