From a411a0b5283a1233501b047e8ba6d6be9aeba3d5 Mon Sep 17 00:00:00 2001 From: Horst Gutmann Date: Wed, 22 Oct 2025 13:27:23 +0200 Subject: [PATCH] chore: set timeout on pre-commit workflow This workflow has recently run into some issues where it just hung. To make these not unnecessarily block resources, it should be killed after 5 minutes. --- .github/workflows/pre-commit.yaml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/pre-commit.yaml b/.github/workflows/pre-commit.yaml index 3dd0bf114..f5bb6a57a 100644 --- a/.github/workflows/pre-commit.yaml +++ b/.github/workflows/pre-commit.yaml @@ -14,6 +14,7 @@ permissions: {} jobs: pre-commit: runs-on: ubuntu-latest + timeout-minutes: 5 permissions: contents: read