From f25fc8f9b4a684c4bf25f61359afd8844637ed45 Mon Sep 17 00:00:00 2001
From: Julien Palard <julien@palard.fr>
Date: Sun, 13 Dec 2020 23:52:22 +0100
Subject: [PATCH] Set a shorter timeout on this build (6h by default).

It should not take long, but we've seen it timeouting (probably for
another reason that really taking 6+ hours), so a shorter timeout may
be sane here.
---
 .github/workflows/tests.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
index e6bf9fb7c..eeed20cf6 100644
--- a/.github/workflows/tests.yml
+++ b/.github/workflows/tests.yml
@@ -58,6 +58,7 @@ jobs:
   sphinx:
     name: 'Génération de la doc (sphinx)'
     runs-on: ubuntu-latest
+    timeout-minutes: 30
     steps:
       - uses: actions/checkout@v2
       - uses: actions/cache@v2