diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/ci/retry.sh (renamed from scripts/retry.sh) | 0 | ||||
| -rw-r--r-- | scripts/ci/steps/10-dependencies.sh | 2 |
2 files changed, 1 insertions, 1 deletions
diff --git a/scripts/retry.sh b/scripts/ci/retry.sh index 285648e..285648e 100755 --- a/scripts/retry.sh +++ b/scripts/ci/retry.sh diff --git a/scripts/ci/steps/10-dependencies.sh b/scripts/ci/steps/10-dependencies.sh index 290cce2..c718421 100644 --- a/scripts/ci/steps/10-dependencies.sh +++ b/scripts/ci/steps/10-dependencies.sh @@ -1,3 +1,3 @@ -cabal update +"$CI_SCRIPTS_DIR"/retry.sh cabal update cabal --sandbox-config="$sandbox_config" sandbox init --sandbox="$sandbox" cabal --sandbox-config="$sandbox_config" install --only-dependencies |