diff options
| author | Daniel Gröber <dxld@darkboxed.org> | 2019-01-22 02:49:07 +0100 |
|---|---|---|
| committer | Daniel Gröber <dxld@darkboxed.org> | 2019-01-22 03:03:15 +0100 |
| commit | 33eaf9ea1b13fff3bd2b5ba403b802f805a4a5d3 (patch) | |
| tree | ff3174fed270ce231a548e7d84d77a938e2cd667 /scripts/ci | |
| parent | 6c53b98346f2dd3e97fcfe30919362245ffe9745 (diff) | |
ci: Use Hackage index state at commit date
Diffstat (limited to 'scripts/ci')
| -rw-r--r-- | scripts/ci/steps/10-update.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/ci/steps/10-update.sh b/scripts/ci/steps/10-update.sh index d6bed21..7d0f042 100644 --- a/scripts/ci/steps/10-update.sh +++ b/scripts/ci/steps/10-update.sh @@ -1 +1 @@ -"$CI_SCRIPTS_DIR"/retry.sh cabal update +"$CI_SCRIPTS_DIR"/retry.sh cabal v2-update --index-state="@$(git show -s --format=%ct HEAD)" |