some debugging

FStarLang · Jun 2, 2024 · b916d92 · b916d92
1 parent a2ab2b1
commit b916d92
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/windows.yaml b/.github/workflows/windows.yaml
@@ -10,7 +10,7 @@ jobs:
       - name: Build a package
         shell: C:\cygwin64\bin\bash.exe --login '{0}'
         run: |
-          pulse/src/ci/package.sh -j 8 && echo "There is a CR at the end of this line"
+          ls -la && pulse/src/ci/package.sh -j 8 && echo "There is a CR at the end of this line"
       - name: Archive the package
         uses: actions/upload-artifact@v3
         with: