mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-08-02 09:20:22 +00:00
Code Activity

Fix nightly.yaml

Browse source
This commit is contained in:
jofleish 2024-02-23 16:47:19 -05:00
parent 9e8d07ef67
commit 1ca2bed4ac
1 changed files with 6 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

13
scripts/nightly.yaml
View file

@ -6,10 +6,9 @@ variables:
AssemblyVersion: $(Major).$(Minor).$(Patch).$(Build.BuildId) AssemblyVersion: $(Major).$(Minor).$(Patch).$(Build.BuildId)
NightlyVersion: $(AssemblyVersion)-$(Build.DefinitionName) NightlyVersion: $(AssemblyVersion)-$(Build.DefinitionName)
# Builds Z3 on various platforms stages:
- stage: Build - stage: Build
jobs: jobs:
- job: MacBuild - job: MacBuild
displayName: "macOS Build" displayName: "macOS Build"
pool: pool:
@ -38,9 +37,8 @@ variables:
inputs: inputs:
artifactName: 'macOSBuild' artifactName: 'macOSBuild'
targetPath: $(Build.ArtifactStagingDirectory) targetPath: $(Build.ArtifactStagingDirectory)
- job: MacBuildArm64 - job: MacBuildArm64
displayName: "macOS ARM64 Build" displayName: "Mac ARM64 Build"
pool: pool:
vmImage: "macOS-11" vmImage: "macOS-11"
steps: steps:
@ -52,7 +50,7 @@ variables:
artifactName: 'MacArm64' artifactName: 'MacArm64'
targetPath: $(Build.ArtifactStagingDirectory) targetPath: $(Build.ArtifactStagingDirectory)
- job: UbuntuBuild - job: UbuntuBuild
displayName: "Ubuntu build" displayName: "Ubuntu build"
pool: pool:
vmImage: "ubuntu-latest" vmImage: "ubuntu-latest"
@ -109,8 +107,7 @@ variables:
inputs: inputs:
artifactName: 'UbuntuBuild20' artifactName: 'UbuntuBuild20'
targetPath: $(Build.ArtifactStagingDirectory) targetPath: $(Build.ArtifactStagingDirectory)
- job: UbuntuArm64
- job: UbuntuArm64
displayName: "Ubuntu ARM64 build" displayName: "Ubuntu ARM64 build"
pool: pool:
vmImage: "ubuntu-latest" vmImage: "ubuntu-latest"
@ -160,6 +157,7 @@ variables:
artifactName: 'UbuntuDoc' artifactName: 'UbuntuDoc'
targetPath: $(Build.ArtifactStagingDirectory) targetPath: $(Build.ArtifactStagingDirectory)
- job: LinuxBuilds - job: LinuxBuilds
displayName: "ManyLinux build" displayName: "ManyLinux build"
variables: variables:
@ -211,7 +209,6 @@ variables:
BuildArchitecture: 'arm64' BuildArchitecture: 'arm64'
VCArchitecture: 'amd64_arm64' VCArchitecture: 'amd64_arm64'
- stage: Package - stage: Package
jobs: jobs:
- job: NuGet64 - job: NuGet64