From 5a2781a6ad2bfed3d211aadac407024912623242 Mon Sep 17 00:00:00 2001
From: Andreas Abel <andreas.abel@ifi.lmu.de>
Date: Mon, 20 Nov 2023 21:34:14 +0800
Subject: [PATCH] CI windows: try if --system-ghc helps
---
.github/workflows/test-windows.yaml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.github/workflows/test-windows.yaml b/.github/workflows/test-windows.yaml
index 7ff445e..97f196e 100644
--- 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