diff options
author | Daniel Gröber <dxld@darkboxed.org> | 2017-06-12 04:26:47 +0200 |
---|---|---|
committer | Daniel Gröber <dxld@darkboxed.org> | 2017-06-12 04:36:46 +0200 |
commit | 188f27a7cd0723c290b5e12e4a376de229723e80 (patch) | |
tree | 5a581e16475f93124886637140470fa7bdaf64ab /.gitlab-ci.yml | |
parent | a8551e48ccb189202d8c7aa587c50044d7c41471 (diff) |
gitlab-ci: Add retry to 'cabal install' command
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r-- | .gitlab-ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index ecaca15..d90b849 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -18,7 +18,7 @@ after_script: script: - echo $PWD - ghc-pkg list - - cabal install -j1 --user --only-dependencies --force-reinstalls --enable-tests --enable-documentation + - $CI_PROJECT_DIR/scripts/retry.sh cabal install -j2 --user --only-dependencies --force-reinstalls --enable-tests --enable-documentation - which cabal - cabal --version - cabal configure --enable-tests |