From 9d3982e6909956c99244fc86756f2476c9a3fe4a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Roman=20Smr=C5=BE?= <roman.smrz@seznam.cz>
Date: Sun, 15 Jun 2025 21:00:17 +0200
Subject: Timeout setting in config file

Changelog: Added optional `timeout` setting to config file
---
 src/Main.hs | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/Main.hs')

diff --git a/src/Main.hs b/src/Main.hs
index 36f88bd..2f4a0fe 100644
--- a/src/Main.hs
+++ b/src/Main.hs
@@ -114,6 +114,7 @@ main = do
             { optTest = defaultTestOptions
                 { optDefaultTool = envtool
                 , optTestDir = normalise $ baseDir </> optTestDir defaultTestOptions
+                , optTimeout = fromMaybe (optTimeout defaultTestOptions) $ configTimeout =<< config
                 }
             }
 
-- 
cgit v1.2.3