diff options
| -rw-r--r-- | .gitlab-ci.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 9d9ebe2708..5e43a531c2 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -109,8 +109,8 @@ hadrian-ghc-in-ghci: - if [[ -d ./cabal-cache ]]; then cp -R ./.cabal-cache ~/.cabal-cache; fi - ./boot - ./configure $CONFIGURE_ARGS - # Load ghc-in-ghci then immediately exit - - echo ":q" | hadrian/ghci.sh + # Load ghc-in-ghci then immediately exit and check the modules loaded + - echo ":q" | hadrian/ghci.sh | tail -n2 | grep "Ok," cache: key: hadrian-ghci paths: |