diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2020-09-05 18:18:43 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-09-05 20:36:56 +0100 |
| commit | 7bd9582967636f9f4f9acecadd26ab8faef74323 (patch) | |
| tree | 6dcd299192195908d85e88d3d349cf85c38499f5 /tools/klee-zesti | |
| parent | e81299423daf6dd8cd43108e9f675b260a33e4cb (diff) | |
| download | klee-7bd9582967636f9f4f9acecadd26ab8faef74323.tar.gz | |
Fix codecov upload
Argument `-y` has been removed from the upload script. https://github.com/codecov/codecov-bash/commit/c2f935a0dd0590d20296e95a759782e32b311b34 But `.codecov.yml` is now supported
Diffstat (limited to 'tools/klee-zesti')
0 files changed, 0 insertions, 0 deletions