test

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