From 02264afd6e4494ef5c1fbaf9b20dae1007c74c06 Mon Sep 17 00:00:00 2001
From: Julien Palard <julien@palard.fr>
Date: Mon, 14 Dec 2020 11:01:33 +0100
Subject: [PATCH] Set a shorter timeout on this build (6h by default). (#1501)

Automerge of PR #1501 by @JulienPalard

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 e6bf9fb7..eeed20cf 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