From 0f9943d7c824f870d3884e6578c45e989c73ae83 Mon Sep 17 00:00:00 2001 From: Joel Scheuner Date: Tue, 16 Jun 2026 12:17:56 +0200 Subject: [PATCH] Add timeout to RC release workflow Co-authored-by: Claude --- .github/workflows/rc-release.yml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.github/workflows/rc-release.yml b/.github/workflows/rc-release.yml index da1a250..f9e6032 100644 --- a/.github/workflows/rc-release.yml +++ b/.github/workflows/rc-release.yml @@ -25,6 +25,8 @@ jobs: rc-release: if: github.event.action == 'labeled' && github.event.label.name == 'trigger:rc-release' runs-on: ubuntu-latest + # Builds typically finish in ~3 min; cap well above that to fail fast on a hang. + timeout-minutes: 10 env: GH_TOKEN: ${{ github.token }} PR_NUMBER: ${{ github.event.pull_request.number }} @@ -87,6 +89,8 @@ jobs: cleanup: if: github.event.action == 'closed' runs-on: ubuntu-latest + # Just a few gh API calls; should complete in seconds. + timeout-minutes: 5 env: GH_TOKEN: ${{ github.token }} PR_NUMBER: ${{ github.event.pull_request.number }}