Tone down timeout

pepeiborra · pepeiborra · commit f2d4d0fb9090 · 2021-01-23T14:59:50.000Z
diff --git a/ghcide/bench/hist/Main.hs b/ghcide/bench/hist/Main.hs
@@ -140,7 +140,7 @@ benchGhcide
   :: Natural -> BuildSystem -> [CmdOption] -> BenchProject Example -> Action ()
 benchGhcide samples buildSystem args BenchProject{..} = do
   command_ args "ghcide-bench" $
-    [ "--timeout=3000",
+    [ "--timeout=300",
       "--no-clean",
         "-v",
         "--samples=" <> show samples,
