10-update.sh « steps « ci « scripts - cabal-helper.git - Unnamed repository; edit this file 'description' to name the repository.

about summary refs log tree commit diff

path: root/scripts/ci/steps/10-update.sh

blob: d62e95d87840d5432186c88a0a21250c4353359d (plain) (blame)

update_args=
if ${CI_USE_COMMIT_INDEX_STATE:-true}; then
        update_args=--index-state="@$(git show -s --format=%ct HEAD)"
fi

"$CI_SCRIPTS_DIR"/retry.sh  cabal v2-update $update_args