diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 833006d28..477e6f351 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -40,7 +40,7 @@ jobs:
           git checkout develop
         fi
         git pull
-        ln -s omr ${GITHUB_WORKSPACE}/omr
+        ln omr ${GITHUB_WORKSPACE}/omr
     - name: Build toolchain
       working-directory: ../../omr
       env: