diff options
| author | Daniel Gröber <dxld@darkboxed.org> | 2017-11-26 19:34:23 +0100 |
|---|---|---|
| committer | Daniel Gröber <dxld@darkboxed.org> | 2017-11-26 19:34:23 +0100 |
| commit | 16f42e85a064d690f05459306f6b1ea0f70c9ab3 (patch) | |
| tree | ee2c45c6ad8f7dafba87408d9407c9a35bc46b23 /scripts/bump.sh | |
| parent | cdef82d6d86ccdf355e4ce5cfd4f3b5382dbe6dd (diff) | |
ci: Add retry loop to 'cabal update'
Diffstat (limited to 'scripts/bump.sh')
0 files changed, 0 insertions, 0 deletions