mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-11-04 13:29:11 +00:00
Code Activity

remove broken matrix

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2022-05-28 14:26:00 -07:00
parent e9660016bc
commit 6b4bc5bd38
1 changed files with 9 additions and 21 deletions
Download patch file Download diff file Expand all files Collapse all files

30
scripts/nightly.yaml
View file

@ -86,23 +86,11 @@ stages:
artifactName: 'UbuntuDoc' artifactName: 'UbuntuDoc'
targetPath: $(Build.ArtifactStagingDirectory) targetPath: $(Build.ArtifactStagingDirectory)
- job: LinuxBuilds - job: LinuxBuild
strategy:
matrix:
manyLinux:
name: ManyLinux
image: "quay.io/pypa/manylinux2010_x86_64:latest"
python: "/opt/python/cp37-cp37m/bin/python"
muslLinux:
name: MuslLinux
image: "quay.io/pypa/musllinux_1_1_x86_64:latest"
python: "/opt/python/cp310-cp310/bin/python"
maxParallel: 2
variables: variables:
python: $(python) python: "/opt/python/cp37-cp37m/bin/python"
name: $(name) image: "quay.io/pypa/manylinux2010_x86_64:latest"
image: $(image) displayName: "ManyLinux build"
displayName: "$(name) build"
pool: pool:
vmImage: "Ubuntu-18.04" vmImage: "Ubuntu-18.04"
container: $(image) container: $(image)
@ -408,11 +396,11 @@ stages:
inputs: inputs:
artifactName: 'Manylinux' artifactName: 'Manylinux'
targetPath: $(Agent.TempDirectory) targetPath: $(Agent.TempDirectory)
- task: DownloadPipelineArtifact@2 # - task: DownloadPipelineArtifact@2
displayName: 'Download MuslLinux Build' # displayName: 'Download MuslLinux Build'
inputs: # inputs:
artifact: 'MuslLinuxBuild' # artifact: 'MuslLinuxBuild'
path: $(Agent.TempDirectory) # path: $(Agent.TempDirectory)
- task: DownloadPipelineArtifact@2 - task: DownloadPipelineArtifact@2
inputs: inputs:
artifactName: 'Mac' artifactName: 'Mac'