From fef814a8ec0fdb1df31a6022b2414d9763c7150b Mon Sep 17 00:00:00 2001 From: Julia Longtin Date: Fri, 15 Dec 2023 15:53:39 +0000 Subject: [PATCH] make CI run the same cabal as my host system. --- .github/workflows/ci.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index e22c3923..f6914be7 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -33,7 +33,7 @@ jobs: strategy: matrix: cabal: - - '3.10' + - '3.8' ghc: - '9.2.8' - '9.0.2'