about summary refs log tree commit diff homepage
path: root/.github
diff options
context:
space:
mode:
authorMartin Nowack <m.nowack@imperial.ac.uk>2020-12-02 20:13:29 +0000
committerCristian Cadar <c.cadar@imperial.ac.uk>2020-12-02 21:02:39 +0000
commit729825e1c80eb6a21441fa4d55c967549e231e1f (patch)
tree6ebbfd5e9b692b60f5291c9957c465c8d9941969 /.github
parentc51ffcd377097ee80ec9b0d6f07f8ea583a5aa1d (diff)
downloadklee-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.yaml4
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