Fix

.github/workflows/build_openmpi_source.yml

@@ -1,6 +1,6 @@
 # Build OpenMPI from source using the latest commit on the
-# 'main' branch and cache the results. Result is installed
-# to (or restored to) '${{ github.workspace }}/openmpi'.
+# 'main' branch and cache the results. The result is installed
+# to (or restored to) '${{ runner.workspace }}/openmpi'.
 
 # Triggers the workflow on a call from another workflow
 on:
@@ -48,7 +48,7 @@ jobs:
         id: cache-openmpi-ubuntu-gcc
         uses: actions/cache@v4
         with:
-          path: ${{ github.workspace }}/openmpi
+          path: ${{ runner.workspace }}/openmpi
           key: ${{ runner.os }}-${{ runner.arch }}-gcc-openmpi-${{ steps.get-sha.outputs.sha }}-${{ inputs.build_mode }}
 
       - name: Install OpenMPI (GCC) (Production)
@@ -58,7 +58,7 @@ jobs:
           ./autogen.pl
           ./configure \
             CC=gcc \
-            --prefix=${{ github.workspace }}/openmpi
+            --prefix=${{ runner.workspace }}/openmpi
           make -j2
           make install
 
@@ -69,7 +69,7 @@ jobs:
           ./autogen.pl
           ./configure \
             CC=gcc \
-            --prefix=${{ github.workspace }}/openmpi \
+            --prefix=${{ runner.workspace }}/openmpi \
             --enable-debug
           make -j2
           make install