test

FStarLang · Jan 15, 2025 · e7d0426 · e7d0426
1 parent 534d1c3
commit e7d0426
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/build-windows-selfhosted.yml b/.github/workflows/build-windows-selfhosted.yml
@@ -17,6 +17,10 @@ jobs:
     - name: Check out repo
       uses: actions/checkout@v4
 
+    - run: ls -lR
+    - run: ls -l stage0/Makefile
+    - run: cat stage0/Makefile
+
     - name: Set version
       shell: C:\cygwin64\bin\bash.exe --login '{0}'
       run: |