From e9088ea5b11074342ce9f677b091206663d41ea3 Mon Sep 17 00:00:00 2001
From: Arnaud Bailly <arnaud.bailly@iohk.io>
Date: Tue, 18 Jan 2022 13:52:55 +0000
Subject: [PATCH] Disable hoogle when running CI

---
 .github/workflows/ci.yaml | 2 +-
 shell.nix                 | 5 ++++-
 2 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index 1374a2d7409..8ed3a28cc0e 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -30,7 +30,7 @@ jobs:
         restore-keys: |
             ${{ runner.os }}-key
 
-    - run: nix-shell --run 'build-ci.sh'
+    - run: nix-shell -A ci --run 'build-ci.sh'
       # https://giters.com/gfx/example-github-actions-with-tty
       # The default shell does not allocate a TTY which breaks some tests
       shell: 'script -q -e -c "bash {0}"'
diff --git a/shell.nix b/shell.nix
index 3d55a27de13..c4602e32303 100644
--- a/shell.nix
+++ b/shell.nix
@@ -93,4 +93,7 @@ let
   };
 
 in
-haskellNixShell // { cabalOnly = cabalShell; }
+haskellNixShell // {
+  cabalOnly = cabalShell;
+  ci = haskellNixShell { withHoogle = false; }
+}