Skip to content

Commit 804ca8c

Browse files
committed
Prevent the github action to take forever.
Only apply this for the two actions that most likely can hang for now. 20mins should be plenty.
1 parent 7d1445b commit 804ca8c

File tree

2 files changed

+2
-0
lines changed

2 files changed

+2
-0
lines changed

.github/workflows/integration.yml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,7 @@ on:
99
jobs:
1010
integration:
1111
runs-on: ubuntu-24.04
12+
timeout-minutes: 20
1213
container:
1314
image: domjudge/gitlabci:24.04
1415
options: --privileged --cgroupns=host --init

.github/workflows/runpipe.yml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,7 @@ on:
99
jobs:
1010
runpipe:
1111
runs-on: ubuntu-24.04
12+
timeout-minutes: 20
1213
container:
1314
image: domjudge/gitlabci:24.04
1415
options: --privileged --cgroupns=host --init

0 commit comments

Comments
 (0)