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

Update release.yml for Azure Pipelines

Browse source
This commit is contained in:
Nikolaj Bjorner 2025-02-18 13:39:41 -08:00
parent d1575af5d2
commit 2e008a9745
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/release.yml
View file

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