From 02830ded40829e68f6a950b4fea6a9b7a8d74b8a Mon Sep 17 00:00:00 2001
From: Andreas Abel <andreas.abel@ifi.lmu.de>
Date: Thu, 30 Mar 2023 08:19:05 +0200
Subject: [PATCH] Basic CI to build on Windows (GHC 8.0 - 9.6)

---
 .github/workflows/win.yml | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)
 create mode 100644 .github/workflows/win.yml

diff --git a/.github/workflows/win.yml b/.github/workflows/win.yml
new file mode 100644
index 0000000..c26f4aa
--- /dev/null
+++ b/.github/workflows/win.yml
@@ -0,0 +1,23 @@
+name: Build (Windows)
+on:
+  push:
+    branches: [ master, ci-* ]
+  pull_request:
+    branches: [ master, ci-* ]
+
+jobs:
+  build:
+    name: Build (GHC ${{ matrix.ghc }})
+    runs-on: windows-latest
+    strategy:
+      fail-fast: false
+      matrix:
+        ghc: ['9.6', '9.4', '9.2', '9.0', '8.10', '8.8', '8.6', '8.4', '8.2', '8.0']
+    steps:
+    - uses: actions/checkout@v3
+    - uses: haskell/actions/setup@v2
+      with:
+        ghc-version: ${{ matrix.ghc }}
+    - run: cabal build
+    - run: cabal haddock
+    - run: cabal check