From 3eef04c21e9c9a6e526d72fd89421ac3eb186d65 Mon Sep 17 00:00:00 2001
From: Lukas Pietzschmann <lukas.pietzschmann@uni-ulm.de>
Date: Wed, 17 Jul 2024 14:18:25 +0200
Subject: [PATCH] Fixed CI for windows

---
 .github/workflows/main.yml | 16 +++++++---------
 1 file changed, 7 insertions(+), 9 deletions(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index dfad5b5..cbbaba5 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -3,8 +3,6 @@ name: Build and test
 jobs:
   ci:
     name: Build on ${{ matrix.os }}
-    env:
-      stack: stack --system-ghc
     runs-on: ${{ matrix.os }}
     strategy:
       fail-fast: false
@@ -29,26 +27,26 @@ jobs:
 
       - name: Build package dependencies
         run: |
-          $stack build --no-run-tests --no-run-benchmarks --only-dependencies
+          stack --system-ghc build --no-run-tests --no-run-benchmarks --only-dependencies
 
       - name: Build package
         run: |
-          $stack build --no-run-tests --no-run-benchmarks
+          stack --system-ghc build --no-run-tests --no-run-benchmarks
 
       - name: Build testing dependencies
         run: |
-          $stack build --no-run-tests --no-run-benchmarks --test --bench
+          stack --system-ghc build --no-run-tests --no-run-benchmarks --test --bench
 
       - name: Run tests
         run: |
-          $stack build --test --no-run-benchmarks
+          stack --system-ghc build --test --no-run-benchmarks
 
       - name: Build documentation
         run: |
-          $stack haddock
+          stack --system-ghc haddock
 
       - name: Check documentation
         if: matrix.os != 'windows-latest'
         run: |
-          $stack install doctest
-          $(stack path --local-bin)${path.sep}doctest src/
+          stack --system-ghc install doctest
+          $(stack path --local-bin)/doctest src/