diff --git a/scripts/release.yml b/scripts/release.yml index a1306d87f..561b3084d 100644 --- a/scripts/release.yml +++ b/scripts/release.yml @@ -114,6 +114,20 @@ stages: artifactName: 'UbuntuBuild20' targetPath: $(Build.ArtifactStagingDirectory) + - job: UbuntuArm64 + displayName: "Ubuntu ARM64 build" + pool: + vmImage: "ubuntu-latest" + steps: + - script: python scripts/mk_unix_dist.py --dotnet-key=$(Build.SourcesDirectory)/resources/z3.snk --arch=arm64 + - script: git clone https://github.com/z3prover/z3test z3test + - script: python z3test/scripts/test_benchmarks.py build-dist/z3 z3test/regressions/smt2 + - script: cp dist/*.zip $(Build.ArtifactStagingDirectory)/. + - task: PublishPipelineArtifact@0 + inputs: + artifactName: 'UbuntuArm64' + targetPath: $(Build.ArtifactStagingDirectory) + - job: UbuntuDoc displayName: "Ubuntu Doc build" pool: @@ -225,6 +239,11 @@ stages: inputs: artifact: 'UbuntuBuild20' path: $(Agent.TempDirectory)\package + - task: DownloadPipelineArtifact@2 + displayName: 'Download Ubuntu ARM64 Build' + inputs: + artifact: 'UbuntuArm64' + path: $(Agent.TempDirectory)\package - task: DownloadPipelineArtifact@2 displayName: 'Download macOS Build' inputs: @@ -480,6 +499,11 @@ stages: inputs: artifact: 'UbuntuBuild' path: $(Agent.TempDirectory) + - task: DownloadPipelineArtifact@2 + displayName: "Download Ubuntu Arm64" + inputs: + artifactName: 'UbuntuArm64' + targetPath: tmp - task: DownloadPipelineArtifact@2 displayName: "Download Doc" inputs: