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.
meisterT · Nov 23, 2024 · f31b539 · f31b539
1 parent 7d1445b
commit f31b539
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/.github/workflows/integration.yml b/.github/workflows/integration.yml
@@ -9,6 +9,7 @@ on:
 jobs:
   integration:
     runs-on: ubuntu-24.04
+    timeout-minutes: 20
     container:
       image: domjudge/gitlabci:24.04
       options: --privileged --cgroupns=host --init

diff --git a/.github/workflows/runpipe.yml b/.github/workflows/runpipe.yml
@@ -9,6 +9,7 @@ on:
 jobs:
   runpipe:
     runs-on: ubuntu-24.04
+    timeout-minutes: 20
     container:
       image: domjudge/gitlabci:24.04
       options: --privileged --cgroupns=host --init