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 /.github | |
| 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 '.github')
| -rw-r--r-- | .github/workflows/build.yaml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml index bebba374..7e58793d 100644 --- a/.github/workflows/build.yaml +++ b/.github/workflows/build.yaml @@ -143,7 +143,7 @@ jobs: env: ${{ matrix.env }} run: scripts/build/build.sh klee --docker --create-final-image - name: Run tests - run: sudo scripts/build/run-tests.sh --run-docker --debug + run: scripts/build/run-tests.sh --run-docker --debug macOS: runs-on: macos-latest @@ -182,4 +182,4 @@ jobs: - name: Build KLEE run: scripts/build/build.sh klee --docker --create-final-image - name: Run tests - run: sudo scripts/build/run-tests.sh --coverage --upload-coverage --run-docker --debug \ No newline at end of file + run: scripts/build/run-tests.sh --coverage --upload-coverage --run-docker --debug \ No newline at end of file |