diff --git a/.github/workflows/build-windows-selfhosted.yml b/.github/workflows/build-windows-selfhosted.yml
index 54dc0add041..ea50405682b 100644
--- a/.github/workflows/build-windows-selfhosted.yml
+++ b/.github/workflows/build-windows-selfhosted.yml
@@ -20,8 +20,7 @@ jobs:
     steps:
       - name: clean
         shell: C:\cygwin64\bin\bash.exe --login '{0}'
-        run: |
-          cd $GITHUB_WORKSPACE && ls -lR && rm -vrf ./fstar
+        run: cd $GITHUB_WORKSPACE && ls -lR && rm -vrf ./fstar && echo "There is a CR at the end of this line"
         # ^ remove the directory where the package extracts to and builds,
         # all files from previous runs remain the runner's working directory
         # otherwise.