mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 17:44:08 +00:00
Code Activity

Update nightly.yaml for Azure Pipelines

Browse source 
update timeout to 90
This commit is contained in:
Nikolaj Bjorner 2025-02-17 21:45:10 -08:00
parent 96e323384f
commit d1575af5d2
1 changed files with 6 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
scripts/nightly.yaml
View file

@ -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"