diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2020-12-02 20:13:29 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-12-02 21:02:39 +0000 |
| commit | 729825e1c80eb6a21441fa4d55c967549e231e1f (patch) | |
| tree | 6ebbfd5e9b692b60f5291c9957c465c8d9941969 /runtime | |
| parent | c51ffcd377097ee80ec9b0d6f07f8ea583a5aa1d (diff) | |
| download | klee-729825e1c80eb6a21441fa4d55c967549e231e1f.tar.gz | |
Fix Codecov upload
`sudo` invocation in Github Actions does not provide environment variables, therefore Codecov was not aware of the correct settings. This behaviour is different under Github Actions than Travis CI. This could be fixed via `sudo -E`. Anyway, tests do not need to be run `sudo` with Github Actions, so remove the `sudo` invocation in the first place.
Diffstat (limited to 'runtime')
0 files changed, 0 insertions, 0 deletions