test

FStarLang · Jan 15, 2025 · c69d9a4 · c69d9a4
1 parent 7fd51ac
commit c69d9a4
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/build-windows-selfhosted.yml b/.github/workflows/build-windows-selfhosted.yml
@@ -22,6 +22,7 @@ jobs:
         with:
           name: package-src
       - run: cd $GITHUB_WORKSPACE && tar xzf fstar-src.tar.gz
+        shell: C:\cygwin64\bin\bash.exe --login '{0}'
 
       - run: cd $GITHUB_WORKSPACE && ls -lR
         shell: C:\cygwin64\bin\bash.exe --login '{0}'