diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 79be83868..59f7dd711 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -69,7 +69,7 @@ jobs: path: .cache key: cache - name: run - run: gopath/src/github.com/google/syzkaller/.github/workflows/run.sh syz-big-env make presubmit_big + run: gopath/src/github.com/google/syzkaller/.github/workflows/run.sh syz-big-env timeout --signal=SIGINT 15m make presubmit_big - name: codecov uses: codecov/codecov-action@2a829b95deaeea2d11d127cc0358005714ff35ea # v3 with: |