diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index a5228d9c1..833006d28 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -20,7 +20,7 @@ jobs:
         echo ::set-output name=SOURCE_NAME::${GITHUB_REF#refs/*/}
         echo ::set-output name=SOURCE_BRANCH::${GITHUB_REF#refs/heads/}
         echo ::set-output name=SOURCE_TAG::${GITHUB_REF#refs/tags/}
-        echo ::set-output name=WORKSPACE::$GITHUB_WORKSPACE
+        echo ::set-output name=WORKSPACE::${GITHUB_WORKSPACE}
     - name: Prepare
       run: |
         sudo apt-get update
@@ -40,7 +40,7 @@ jobs:
           git checkout develop
         fi
         git pull
-        ln -s omr ${{ GITHUB_WORKSPACE }}/omr
+        ln -s omr ${GITHUB_WORKSPACE}/omr
     - name: Build toolchain
       working-directory: ../../omr
       env: