diff options
Diffstat (limited to '.github/workflows/build.yaml')
| -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 |