bump timeout for jobs

NikolajBjorner · NikolajBjorner · commit 3c47fd96cf56 · 2025-02-18T13:41:31.000-08:00
Signed-off-by: Nikolaj Bjorner &lt;nbjorner@microsoft.com&gt;
diff --git a/scripts/build-win-signed-cmake.yml b/scripts/build-win-signed-cmake.yml
@@ -6,6 +6,7 @@ parameters:
 jobs:
 - job: WindowsBuild${{parameters.BuildArchitecture}}
   displayName: "Windows build (${{parameters.BuildArchitecture}})"
+  timeoutInMinutes: 90
   pool:
     vmImage: "windows-latest"
   steps:
diff --git a/scripts/build-win-signed.yml b/scripts/build-win-signed.yml
@@ -5,6 +5,7 @@ parameters:
 jobs:
 - job: WindowsBuild${{parameters.BuildArchitecture}}
   displayName: "Windows build (${{parameters.BuildArchitecture}})"
+  timeoutInMinutes: 90
   pool:
     vmImage: "windows-latest"
   steps:
