diff options
| author |  Johannes Christ <[email protected]> | 2018-11-11 12:21:29 +0100 |
|---|---|---|
| committer | Johannes Christ <[email protected]> | 2018-11-11 12:21:29 +0100 |
| commit | e30579e1d0534904c07287caa7893066ec312c7c (patch) | |
| tree | ffbb800ae5dde1178bf5d3a6de3d648c1758101a /api/migrations | |
| parent | Add `echo` on non-zero `coverage publish` exit status. (diff) | |
Use extra `coverage report` invocation.
Diffstat (limited to 'api/migrations')
0 files changed, 0 insertions, 0 deletions