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