From 5aa3ce420728ca1f4a667313898ea9750b4f8a01 Mon Sep 17 00:00:00 2001
From: Simon Marlow <smarlow@meta.com>
Date: Wed, 11 Dec 2024 14:46:41 -0800
Subject: [PATCH] Fix CI

Summary: 3.12 has a bug that we seem to be running into, see https://github.com/haskell/cabal/issues/10046

Differential Revision: D67113302
---
 .github/workflows/ci.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 93fe83c51..46c503603 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -111,7 +111,8 @@ jobs:
         run: |
           curl --proto '=https' --tlsv1.2 -sSf "https://downloads.haskell.org/~ghcup/x86_64-linux-ghcup" -o "$LOCAL_BIN"/ghcup
           chmod +x "$LOCAL_BIN"/ghcup
-          ghcup install cabal --set
+          # Avoiding 3.12 due to https://github.com/haskell/cabal/issues/10046
+          ghcup install cabal 3.10 --set
           apt-get install -y build-essential libgmp-dev libnuma-dev
           ghcup install ghc ${{ matrix.ghc }} --set
           echo "$HOME/.ghcup/bin" >> "$GITHUB_PATH"