Also here.

diku-dk · May 22, 2020 · 3393917 · 3393917
1 parent 8da1ab5
commit 3393917
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -143,7 +143,7 @@ jobs:
     - name: Install dependencies
       run: |
         choco install -y msys2
-        choco install -y ghc --version=8.8.2
+        choco install -y ghc --version=8.8.2 --allow-downgrade
 
     - name: Cache cabal
       uses: actions/cache@v1