From 768755b6f5156f3c8f208053e84091ff46195798 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 5 Jan 2026 09:09:48 -0800
Subject: [PATCH] increase timeout on windows build

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 scripts/build-win-signed.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/build-win-signed.yml b/scripts/build-win-signed.yml
index 0ab24e0eb..91acf753f 100644
--- a/scripts/build-win-signed.yml
+++ b/scripts/build-win-signed.yml
@@ -5,7 +5,7 @@ parameters:
 jobs:
 - job: WindowsBuild${{parameters.BuildArchitecture}}
   displayName: "Windows build (${{parameters.BuildArchitecture}})"
-  timeoutInMinutes: 90
+  timeoutInMinutes: 120
   pool:
     vmImage: "windows-latest"
   steps: