aboutsummaryrefslogtreecommitdiffstats
path: root/.github
diff options
context:
space:
mode:
authorAleksandr Nogikh <nogikh@google.com>2023-01-17 15:28:16 +0100
committerAleksandr Nogikh <wp32pw@gmail.com>2023-01-17 16:33:44 +0100
commit42660d9e113db4d2fa3b56b27eb9e5209219da64 (patch)
tree7e9ec8a0f054dfb558d1bf14bc4bdeb2d6215d24 /.github
parentefe57972270c7b62629027e16de222400cd73782 (diff)
.github: add a 15 minute timeout for the `dashboard` action
The dashboard testing infrastructure is quite fragile and sometimes just hangs in case of errors. The action then just hangs for 6 hours with no debugging output. Add a 15 minute timeout, this should be enough for this test.
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/ci.yml2
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: