diff --git a/.github/workflows/a3.yml b/.github/workflows/a3.yml
index a1118c78386..39d7ac7f45a 100644
--- a/.github/workflows/a3.yml
+++ b/.github/workflows/a3.yml
@@ -123,7 +123,7 @@ jobs:
       run: |
         set -x
         echo 'export PATH=/home/runner/openmpi/bin:$PATH' > .bashrc
-        echo "alias mpiexec=mpiexec --oversubscribe" >> .bashrc
+        echo "alias mpiexec=\"mpiexec --oversubscribe\"" >> .bashrc
         source .bashrc
         export PATH="/home/runner/openmpi/bin:$PATH"
         export CC=/home/runner/openmpi/bin/mpicc