Disable timeout in tactics testsuite

Author: pepeiborra

plugins/hls-tactics-plugin/src/Wingman/AbstractLSP/TacticActions.hs

@@ -25,6 +25,8 @@ import           Wingman.LanguageServer.TacticProviders
 import           Wingman.Machinery (runTactic, scoreSolution)
 import           Wingman.Range
 import           Wingman.Types
+import Development.IDE.Core.Service (getIdeOptionsIO)
+import Development.IDE.Types.Options (IdeTesting(IdeTesting), IdeOptions (IdeOptions, optTesting))
 
 
 ------------------------------------------------------------------------------
@@ -34,7 +36,7 @@ makeTacticInteraction
     -> Interaction
 makeTacticInteraction cmd =
   Interaction $ Continuation @_ @HoleTarget cmd
-    (SynthesizeCodeAction $ \env@LspEnv{..} hj -> do
+    (SynthesizeCodeAction $ \env hj -> do
       pure $ commandProvider cmd $
             TacticProviderData
               { tpd_lspEnv    = env
@@ -48,9 +50,13 @@ makeTacticInteraction cmd =
         let span = fmap (rangeToRealSrcSpan (fromNormalizedFilePath fc_nfp)) hj_range
         TrackedStale _ pmmap <- mapMaybeT liftIO $ stale GetAnnotatedParsedSource
         pm_span <- liftMaybe $ mapAgeFrom pmmap span
+        IdeOptions{optTesting = IdeTesting isTesting} <-
+            liftIO $ getIdeOptionsIO (shakeExtras le_ideState)
+
         let t = commandTactic cmd var_name
+            timeout = if isTesting then maxBound else cfg_timeout_seconds le_config * seconds
 
-        liftIO $ runTactic (cfg_timeout_seconds le_config * seconds) hj_ctx hj_jdg t >>= \case
+        liftIO $ runTactic timeout hj_ctx hj_jdg t >>= \case
           Left err ->
             pure
               $ pure