From 403a2bf8468cb4707412ba5269542fd19a420499 Mon Sep 17 00:00:00 2001 From: Chris Burr Date: Wed, 2 Aug 2023 14:01:58 +0200 Subject: [PATCH] feat: Kill sweep jobs that take more than 30 minutes --- .github/workflows/pr-sweep.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/pr-sweep.yml b/.github/workflows/pr-sweep.yml index d8da6451804..26f89a2c78a 100644 --- a/.github/workflows/pr-sweep.yml +++ b/.github/workflows/pr-sweep.yml @@ -7,6 +7,7 @@ jobs: pr-sweep: runs-on: ubuntu-latest concurrency: pr-sweep + timeout-minutes: 30 if: github.repository == 'DIRACGrid/DIRAC' steps: - uses: actions/checkout@v3