From dd569b778a3c368d115441e8cbd7ddf1d5b0e51c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Facundo=20Dom=C3=ADnguez?= Date: Mon, 4 Dec 2023 19:06:38 -0300 Subject: [PATCH] Update cabal configuration in CI --- .circleci/config.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.circleci/config.yml b/.circleci/config.yml index d9f39f6e6c..f335dd90d0 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -60,7 +60,7 @@ commands: chmod +x ./x86_64-linux-ghcup ./x86_64-linux-ghcup install ghc << parameters.ghc_version >> ./x86_64-linux-ghcup set ghc << parameters.ghc_version >> - ./x86_64-linux-ghcup install cabal 3.6.2.0 + ./x86_64-linux-ghcup install cabal 3.10.1.0 export PATH=~/.ghcup/bin:$PATH echo 'export PATH=~/.ghcup/bin:$PATH' >> $BASH_ENV << parameters.cabal_update_command >> @@ -158,7 +158,7 @@ jobs: image: ubuntu-2004:202107-02 steps: - cabal_build_and_test: - ghc_version: "9.4.7" + ghc_version: "9.6.3" workflows: version: 2