From f31b5393bd4bf9417bb96b86c88a20b0594d42ff Mon Sep 17 00:00:00 2001 From: Tobias Werth Date: Sat, 23 Nov 2024 07:45:18 +0100 Subject: [PATCH] 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. --- .github/workflows/integration.yml | 1 + .github/workflows/runpipe.yml | 1 + 2 files changed, 2 insertions(+) diff --git a/.github/workflows/integration.yml b/.github/workflows/integration.yml index b4406203dd..56ee842a2c 100644 --- 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 index d4f97e4555..b096a28141 100644 --- 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