Skip to content

Commit f31b539

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 f31b539

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)