From 2e008a97452bf7e47f64d9e623d428d9abd4293e Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 18 Feb 2025 13:39:41 -0800
Subject: [PATCH] Update release.yml for Azure Pipelines

---
 scripts/release.yml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/scripts/release.yml b/scripts/release.yml
index 21cde1956..6698e8756 100644
--- a/scripts/release.yml
+++ b/scripts/release.yml
@@ -16,6 +16,7 @@ stages:
 
   - job: MacBuild
     displayName: "Mac Build"
+    timeoutInMinutes: 90
     pool:
       vmImage: "macOS-13"
     steps:
@@ -45,6 +46,7 @@ stages:
 
   - job: MacBuildArm64
     displayName: "Mac ARM64 Build"
+    timeoutInMinutes: 90    
     pool:
       vmImage: "macOS-13"
     steps:
@@ -88,6 +90,7 @@ stages:
 
   - job: UbuntuArm64
     displayName: "Ubuntu ARM64 build"
+    timeoutInMinutes: 90    
     pool:
       vmImage: "ubuntu-latest"
     steps:
@@ -111,6 +114,7 @@ stages:
 
   - job: UbuntuDoc
     displayName: "Ubuntu Doc build"
+    timeoutInMinutes: 90    
     pool:
       vmImage: "ubuntu-latest"
     steps:
@@ -147,6 +151,7 @@ stages:
 
   - job: "ManylinuxPythonBuildAmd64"
     displayName: "Python bindings (manylinux Centos AMD64) build"
+    timeoutInMinutes: 90
     pool:
       vmImage: "ubuntu-latest"
     container: "quay.io/pypa/manylinux2014_x86_64:latest"
@@ -168,6 +173,7 @@ stages:
 
   - job: ManyLinuxPythonBuildArm64
     displayName: "Python bindings (manylinux Centos ARM64 cross) build"
+    timeoutInMinutes: 90    
     variables:
       name: ManyLinux
       python: "/opt/python/cp37-cp37m/bin/python"