From 729825e1c80eb6a21441fa4d55c967549e231e1f Mon Sep 17 00:00:00 2001 From: Martin Nowack Date: Wed, 2 Dec 2020 20:13:29 +0000 Subject: 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. --- .github/workflows/build.yaml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to '.github') 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 -- cgit 1.4.1