From 2842956904436321a07a9f29d4a30fd8227224b5 Mon Sep 17 00:00:00 2001
From: Gaetan Lepage <gaetan@glepage.com>
Date: Mon, 7 Aug 2023 12:20:44 +0200
Subject: [PATCH] circle-ci: increase no_output_timeout to fix doc build

---
 .circleci/config.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 119e012c..aa1f42ea 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -15,6 +15,7 @@ jobs:
       - checkout
       - run:
           name: "Build docs"
+          no_output_timeout: 30m
           command: "nix build '.#docs' --show-trace"
       - persist_to_workspace:
           root: "result/share/"