bump timeout for jobs

Signed-off-by: Nikolaj Bjorner <[email protected]>
Z3Prover · Feb 18, 2025 · 3c47fd9 · 3c47fd9
1 parent 2e008a9
commit 3c47fd9
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
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: