mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-05 09:04:07 +00:00
Code Activity

Update azure-pipelines.yml for Azure Pipelines

Browse source 
set timeout to 90 minutes to see if this helps
This commit is contained in:
Nikolaj Bjorner 2025-02-17 21:42:15 -08:00
parent 813da35539
commit 96e323384f
1 changed files with 11 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
azure-pipelines.yml
View file

@ -20,6 +20,7 @@ jobs:
- job: "LinuxPythonDebug" - job: "LinuxPythonDebug"
displayName: "Ubuntu build - python make - debug" displayName: "Ubuntu build - python make - debug"
timeoutInMinutes: 90
pool: pool:
vmImage: "ubuntu-latest" vmImage: "ubuntu-latest"
strategy: strategy:
@ -45,6 +46,7 @@ jobs:
- job: "ManylinuxPythonBuildAmd64" - job: "ManylinuxPythonBuildAmd64"
displayName: "Python bindings (manylinux Centos AMD64) build" displayName: "Python bindings (manylinux Centos AMD64) build"
timeoutInMinutes: 90
pool: pool:
vmImage: "ubuntu-latest" vmImage: "ubuntu-latest"
container: "quay.io/pypa/manylinux2014_x86_64:latest" container: "quay.io/pypa/manylinux2014_x86_64:latest"
@ -56,6 +58,7 @@ jobs:
- script: "pip install ./src/api/python/wheelhouse/*.whl && python - <src/api/python/z3test.py z3 && python - <src/api/python/z3test.py z3num" - script: "pip install ./src/api/python/wheelhouse/*.whl && python - <src/api/python/z3test.py z3 && python - <src/api/python/z3test.py z3num"
- job: ManyLinuxPythonBuildArm64 - job: ManyLinuxPythonBuildArm64
timeoutInMinutes: 90
displayName: "Python bindings (manylinux Centos ARM64 cross) build" displayName: "Python bindings (manylinux Centos ARM64 cross) build"
variables: variables:
name: ManyLinux name: ManyLinux
@ -78,6 +81,7 @@ jobs:
- job: "UbuntuOCaml" - job: "UbuntuOCaml"
displayName: "Ubuntu with OCaml" displayName: "Ubuntu with OCaml"
timeoutInMinutes: 90
pool: pool:
vmImage: "Ubuntu-latest" vmImage: "Ubuntu-latest"
steps: steps:
@ -101,6 +105,7 @@ jobs:
- job: "UbuntuOCamlStatic" - job: "UbuntuOCamlStatic"
displayName: "Ubuntu with OCaml on z3-static" displayName: "Ubuntu with OCaml on z3-static"
timeoutInMinutes: 90
pool: pool:
vmImage: "Ubuntu-latest" vmImage: "Ubuntu-latest"
steps: steps:
@ -133,6 +138,7 @@ jobs:
- job: "LinuxMSan" - job: "LinuxMSan"
displayName: "Ubuntu build - cmake" displayName: "Ubuntu build - cmake"
timeoutInMinutes: 90
condition: eq(0,1) condition: eq(0,1)
pool: pool:
vmImage: "ubuntu-latest" vmImage: "ubuntu-latest"
@ -167,6 +173,7 @@ jobs:
- job: "UbuntuCMake" - job: "UbuntuCMake"
displayName: "Ubuntu build - cmake" displayName: "Ubuntu build - cmake"
timeoutInMinutes: 90
pool: pool:
vmImage: "ubuntu-latest" vmImage: "ubuntu-latest"
strategy: strategy:
@ -220,6 +227,7 @@ jobs:
- job: "MacOSPython" - job: "MacOSPython"
displayName: "MacOS build" displayName: "MacOS build"
timeoutInMinutes: 90
pool: pool:
vmImage: "macOS-latest" vmImage: "macOS-latest"
steps: steps:
@ -241,6 +249,7 @@ jobs:
- job: "MacOSCMake" - job: "MacOSCMake"
displayName: "MacOS build with CMake" displayName: "MacOS build with CMake"
timeoutInMinutes: 90
pool: pool:
vmImage: "macOS-latest" vmImage: "macOS-latest"
steps: steps:
@ -264,6 +273,7 @@ jobs:
- job: "MacOSOCaml" - job: "MacOSOCaml"
displayName: "MacOS build with OCaml" displayName: "MacOS build with OCaml"
timeoutInMinutes: 90
condition: eq(0,1) condition: eq(0,1)
pool: pool:
vmImage: "macOS-latest" vmImage: "macOS-latest"