diff options
author | Daniel Gröber <dxld@darkboxed.org> | 2019-06-17 19:24:07 +0200 |
---|---|---|
committer | Daniel Gröber <dxld@darkboxed.org> | 2019-06-17 23:25:09 +0200 |
commit | 0b0adc9d5bab8e36011ee120806e56f7d355810b (patch) | |
tree | 331d18901aefad1fe76a7bae7dbe7ef1148f0868 /src/CabalHelper/Compiletime/Cabal.hs | |
parent | 1501452f83cde1cd33d6e98ab45738008a2ff914 (diff) |
ci: Allow using latest Hackage index with CI_USE_COMMIT_INDEX_STATE=true
Diffstat (limited to 'src/CabalHelper/Compiletime/Cabal.hs')
0 files changed, 0 insertions, 0 deletions