test

.github/workflows/build-windows-selfhosted.yml

@@ -18,6 +18,14 @@ jobs:
     # having to set cygwin bash, cd into $GITHUB_WORKSPACE, and keep
     # shell commands to a single line.
     steps:
+      - name: clean
+        shell: C:\cygwin64\bin\bash.exe --login '{0}'
+        run: |
+          cd $GITHUB_WORKSPACE && ls -lR && rm -vrf ./fstar
+        # ^ remove the directory where the package extracts to and builds,
+        # all files from previous runs remain the runner's working directory
+        # otherwise.
+
       - uses: actions/download-artifact@v4
         with:
           name: package-src
@@ -31,14 +39,6 @@ jobs:
       - run: cd $GITHUB_WORKSPACE && cat stage0/Makefile
         shell: C:\cygwin64\bin\bash.exe --login '{0}'
 
-      - name: clean
-        shell: C:\cygwin64\bin\bash.exe --login '{0}'
-        run: |
-          cd $GITHUB_WORKSPACE && rm -rf ./fstar
-        # ^ remove the directory where the package extracts to and builds,
-        # all files from previous runs remain the runner's working directory
-        # otherwise.
-
       - name: Set version
         shell: C:\cygwin64\bin\bash.exe --login '{0}'
         run: |
@@ -49,7 +49,7 @@ jobs:
       - name: Build a package
         shell: C:\cygwin64\bin\bash.exe --login '{0}'
         run: |
-          cd $GITHUB_WORKSPACE && cd fstar && eval $(opam env) && export CC=x86_64-w64-mingw32-gcc.exe && make -j$(nproc) package ADMIT=1 && echo "There is a CR at the end of this line"
+          cd $GITHUB_WORKSPACE && cd fstar && eval $(opam env) && export CC=x86_64-w64-mingw32-gcc.exe && make -j$(nproc) package V=1 ADMIT=1 && echo "There is a CR at the end of this line"
 
       # - name: Test the package
       #   shell: C:\cygwin64\bin\bash.exe --login '{0}'