From b2b2a2622d8738693bc97906e9d56ed6c45a34c6 Mon Sep 17 00:00:00 2001
From: Thomas Waldmann <tw@waldmann-edv.de>
Date: Sat, 5 Dec 2020 18:35:00 +0100
Subject: [PATCH] add a timeout for the github CI jobs, fixes #5548

sometimes they hung for 6h... (not our fault, seems like a infrastructure problem).
---
 .github/workflows/ci.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 37a1dbeb..cdd0b8e1 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -32,6 +32,7 @@ jobs:
   lint:
 
     runs-on: ubuntu-latest
+    timeout-minutes: 10
 
     steps:
     - uses: actions/checkout@v2
@@ -74,6 +75,7 @@ jobs:
       TOXENV: ${{ matrix.toxenv }}
 
     runs-on: ${{ matrix.os }}
+    timeout-minutes: 40
 
     steps:
     - uses: actions/checkout@v2
@@ -127,7 +129,7 @@ jobs:
         tox --skip-missing-interpreters
     - name: Upload coverage to Codecov
       uses: codecov/codecov-action@v1
-      env: 
+      env:
         OS: ${{ runner.os }}
         python: ${{ matrix.python-version }}
       with: