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 | |
| parent | 1501452f83cde1cd33d6e98ab45738008a2ff914 (diff) | |
ci: Allow using latest Hackage index with CI_USE_COMMIT_INDEX_STATE=true
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions