diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2025-06-15 21:00:17 +0200 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2025-06-18 20:57:42 +0200 |
| commit | 9d3982e6909956c99244fc86756f2476c9a3fe4a (patch) | |
| tree | 55d33229fc21f317f9911f62b9afcace12ce5f1d /src/Main.hs | |
| parent | 255e8baa916f9103dc703447474ca38ba118abe8 (diff) | |
Timeout setting in config file
Changelog: Added optional `timeout` setting to config file
Diffstat (limited to 'src/Main.hs')
| -rw-r--r-- | src/Main.hs | 1 |
1 files changed, 1 insertions, 0 deletions
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 } } |