test

.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.