From d1575af5d267b4758189484aab3d7945cf76fa95 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 17 Feb 2025 21:45:10 -0800
Subject: [PATCH] Update nightly.yaml for Azure Pipelines

update timeout to 90
---
 scripts/nightly.yaml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index 50c68ffb4..0fd4cc656 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -11,6 +11,7 @@ stages:
   jobs:
   - job: MacBuild
     displayName: "Mac Build"
+    timeoutInMinutes: 90
     pool:
       vmImage: "macOS-13"
     steps:
@@ -53,6 +54,7 @@ stages:
 
   - job: UbuntuBuild
     displayName: "Ubuntu build"
+    timeoutInMinutes: 90    
     pool:
       vmImage: "ubuntu-latest"
     steps:
@@ -82,6 +84,7 @@ stages:
 
   - job: UbuntuArm64
     displayName: "Ubuntu ARM64 build"
+    timeoutInMinutes: 90    
     pool:
       vmImage: "ubuntu-latest"
     steps:
@@ -105,6 +108,7 @@ stages:
 
   - job: UbuntuDoc
     displayName: "Ubuntu Doc build"
+    timeoutInMinutes: 90    
     pool:
       vmImage: "ubuntu-latest"
     steps:
@@ -142,6 +146,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"
@@ -163,6 +168,7 @@ stages:
 
   - job: ManyLinuxPythonBuildArm64
     displayName: "Python bindings (manylinux Centos ARM64 cross) build"
+    timeoutInMinutes: 90    
     variables:
       name: ManyLinux
       python: "/opt/python/cp37-cp37m/bin/python"