From 219506e0e7219a0483ebce4914acfbce153df268 Mon Sep 17 00:00:00 2001 From: Pierre Chalamet Date: Sun, 30 Nov 2025 21:48:42 +0100 Subject: [PATCH] differentiated subscribe --- src/Terrabuild/Core/Build.fs | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/src/Terrabuild/Core/Build.fs b/src/Terrabuild/Core/Build.fs index 84349673..17eb754d 100644 --- a/src/Terrabuild/Core/Build.fs +++ b/src/Terrabuild/Core/Build.fs @@ -414,7 +414,15 @@ let run (options: ConfigOptions.Options) (cache: Cache.ICache) (api: Contracts.I hub.GetSignal depId) |> List.ofSeq - hub.Subscribe targetNode.Id schedDependencies (fun () -> + let subscribe = + match targetNode.Action with + | GraphDef.NodeAction.BatchBuild -> hub.Subscribe + | GraphDef.NodeAction.Build -> hub.Subscribe + | GraphDef.NodeAction.Restore -> hub.SubscribeBackground + | GraphDef.NodeAction.Summary -> hub.SubscribeBackground + | GraphDef.NodeAction.Ignore -> hub.SubscribeBackground + + subscribe targetNode.Id schedDependencies (fun () -> let batchSchedule = [ match cluster with | Some cluster ->