ci: make the PR-related jobs fail afer 5 minutes

faberNovel · Oct 8, 2023 · 336324d · 336324d
1 parent 4327972
commit 336324d
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git 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
@@ -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