diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index d64f7f5f..71a02ba7 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -82,7 +82,7 @@ jobs:
         echo "::endgroup"
 
         echo "::group::local dir tree"
-        tree ${{github.workspace}//local
+        tree ${{github.workspace}}/local
         echo "::endgroup"
 
     - name: Configure self (pysimulator)