diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 97928c55633608f10bac90593bc32d8136a4d8f2..37e7a77b9d5b34bbe2d50c3f9f5c6239f0c12c77 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -36,7 +36,7 @@ typecheck:
     - cmake --build . --target SfgTests
     - cmake --build . --target UserManualExamples
   variables:
-    TESTSUITE_MPIEXEC_FLAGS: --oversubscribe --allow-run-as-root
+    TESTSUITE_MPIEXEC_FLAGS: --oversubscribe;--allow-run-as-root
   script:
     - ctest --output-on-failure