From ade8ed49c0cc75b2ef2d96d88cb9d25b9bfe63ee Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Guido=20Mart=C3=ADnez?= Date: Wed, 15 Jan 2025 16:23:23 -0800 Subject: [PATCH] test --- .github/workflows/build-windows-selfhosted.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/build-windows-selfhosted.yml b/.github/workflows/build-windows-selfhosted.yml index ea50405682b..0a9cc612355 100644 --- a/.github/workflows/build-windows-selfhosted.yml +++ b/.github/workflows/build-windows-selfhosted.yml @@ -20,7 +20,7 @@ jobs: steps: - name: clean shell: C:\cygwin64\bin\bash.exe --login '{0}' - run: cd $GITHUB_WORKSPACE && ls -lR && rm -vrf ./fstar && echo "There is a CR at the end of this line" + run: cd $GITHUB_WORKSPACE && ls -lR && rm -vrf fstar && echo "There is a CR at the end of this line" # ^ remove the directory where the package extracts to and builds, # all files from previous runs remain the runner's working directory # otherwise.