test

FStarLang · Jan 15, 2025 · 534d1c3 · 534d1c3
1 parent f592867
commit 534d1c3
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
@@ -13,6 +13,7 @@ jobs:
     # having to set cygwin bash, cd into $GITHUB_WORKSPACE, and keep
     # shell commands to a single line.
     steps:
+    - run: echo "CYGWIN=winsymlinks:nativestrict" >>$GITHUB_ENV
     - name: Check out repo
       uses: actions/checkout@v4