CI windows: try if --system-ghc helps

agda · Nov 20, 2023 · 5a2781a · 5a2781a
1 parent 82ff563
commit 5a2781a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/test-windows.yaml b/.github/workflows/test-windows.yaml
@@ -15,7 +15,7 @@ jobs:
 
     - name: Determine stack root
       run: |
-        echo STACK_ROOT="$(stack --no-install-ghc path --stack-root)" >> "${GITHUB_ENV}"
+        echo STACK_ROOT="$(stack --system-ghc --no-install-ghc path --stack-root)" >> "${GITHUB_ENV}"
 
     - name: 📥 Checkout repository
       uses: actions/checkout@v4