diff options
| author |  Johannes Christ <[email protected]> | 2018-08-30 21:54:42 +0200 |
|---|---|---|
| committer | Johannes Christ <[email protected]> | 2018-08-30 21:54:42 +0200 |
| commit | 2f252bc12c5ddb5acb3132b1bd851fd2dd641f03 (patch) | |
| tree | 8c6e0c238e25225fd55da0f99bb3aedcb9847aae /Dockerfile | |
| parent | Add coverage reports. (diff) | |
Always upload cov reports, add pipenv cache.
Diffstat (limited to 'Dockerfile')
0 files changed, 0 insertions, 0 deletions