From f5bf8c4747b7ba19ce40f4254930586d5d55f7c2 Mon Sep 17 00:00:00 2001 From: Chris Burr Date: Wed, 2 Aug 2023 14:13:53 +0200 Subject: [PATCH] sweep: #7148 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