From c69d9a4824b83c2c5d8c1e49682c4d8e12b05279 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Guido=20Mart=C3=ADnez?= Date: Wed, 15 Jan 2025 14:35:54 -0800 Subject: [PATCH] test --- .github/workflows/build-windows-selfhosted.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/build-windows-selfhosted.yml b/.github/workflows/build-windows-selfhosted.yml index d3efda20ad5..72974e791f1 100644 --- 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}'