From a6bd3c53f9e8f8e462f85e0c5a7b1924a0ac285d Mon Sep 17 00:00:00 2001 From: Alexander Biehl Date: Thu, 31 Jul 2025 08:40:45 +0200 Subject: [PATCH] Update CI cabal to 3.12.1.0 --- .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 15c82bf..29caf1a 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -13,7 +13,7 @@ jobs: strategy: matrix: os: [ubuntu-latest] # [macOS-latest, windows-latest] do not come with docker :( - cabal: ["3.6"] + cabal: ["3.12.1.0"] ghc: - 9.2.8 - 9.4.8