From 336324d079e3ab360a4df765769b68f232985f76 Mon Sep 17 00:00:00 2001
From: Bastien Gatellier <bastien.gatellier@fabernovel.com>
Date: Sun, 8 Oct 2023 14:47:18 +0200
Subject: [PATCH] ci: make the PR-related jobs fail afer 5 minutes

---
 .github/workflows/coverage.yaml | 1 +
 .github/workflows/pr.yaml       | 2 ++
 2 files changed, 3 insertions(+)

diff --git a/.github/workflows/coverage.yaml b/.github/workflows/coverage.yaml
index 28f2d4aa..d81a2da1 100644
--- a/.github/workflows/coverage.yaml
+++ b/.github/workflows/coverage.yaml
@@ -11,6 +11,7 @@ jobs:
   generate:
     name: Generate coverage reports
     runs-on: ubuntu-latest
+    timeout-minutes: 5
     defaults:
       run:
         shell: bash
diff --git a/.github/workflows/pr.yaml b/.github/workflows/pr.yaml
index 902b11f9..e7faef39 100644
--- a/.github/workflows/pr.yaml
+++ b/.github/workflows/pr.yaml
@@ -8,6 +8,7 @@ jobs:
   syntax_changelog:
     name: Syntax & changelog
     runs-on: ubuntu-latest
+    timeout-minutes: 5
     defaults:
       run:
         shell: bash
@@ -37,6 +38,7 @@ jobs:
   test:
     name: Test
     runs-on: ubuntu-latest
+    timeout-minutes: 5
     defaults:
       run:
         shell: bash