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

disable centos build until resolved

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2025-10-20 08:33:01 +02:00
parent bfd896cd35
commit 20235af97b
1 changed files with 7 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

13
scripts/nightly.yaml
View file

@ -151,6 +151,7 @@ stages:
pool: pool:
vmImage: "ubuntu-latest" vmImage: "ubuntu-latest"
container: "quay.io/pypa/manylinux2014_x86_64:latest" container: "quay.io/pypa/manylinux2014_x86_64:latest"
condition: eq(0, 1)
steps: steps:
- script: "/opt/python/cp38-cp38/bin/python -m venv $PWD/env" - script: "/opt/python/cp38-cp38/bin/python -m venv $PWD/env"
- script: 'echo "##vso[task.prependpath]$PWD/env/bin"' - script: 'echo "##vso[task.prependpath]$PWD/env/bin"'
@ -365,17 +366,17 @@ stages:
inputs: inputs:
artifactName: 'WindowsBuild-x86' artifactName: 'WindowsBuild-x86'
targetPath: $(Agent.TempDirectory) targetPath: $(Agent.TempDirectory)
- task: DownloadPipelineArtifact@2 # - task: DownloadPipelineArtifact@2
displayName: 'Download ManyLinux Build' # displayName: 'Download ManyLinux Build'
inputs: # inputs:
artifactName: 'ManyLinuxPythonBuildAMD64' # artifactName: 'ManyLinuxPythonBuildAMD64'
targetPath: $(Agent.TempDirectory) # targetPath: $(Agent.TempDirectory)
- task: DownloadPipelineArtifact@2 - task: DownloadPipelineArtifact@2
displayName: 'Download ManyLinux Arm64 Build' displayName: 'Download ManyLinux Arm64 Build'
inputs: inputs:
artifactName: 'ManyLinuxPythonBuildArm64' artifactName: 'ManyLinuxPythonBuildArm64'
targetPath: $(Agent.TempDirectory) targetPath: $(Agent.TempDirectory)
- script: cd $(Agent.TempDirectory); mkdir osx-x64-bin; cd osx-x64-bin; unzip ../*x64-osx*.zip # - script: cd $(Agent.TempDirectory); mkdir osx-x64-bin; cd osx-x64-bin; unzip ../*x64-osx*.zip
- script: cd $(Agent.TempDirectory); mkdir osx-arm64-bin; cd osx-arm64-bin; unzip ../*arm64-osx*.zip - script: cd $(Agent.TempDirectory); mkdir osx-arm64-bin; cd osx-arm64-bin; unzip ../*arm64-osx*.zip
# - script: cd $(Agent.TempDirectory); mkdir musl-bin; cd musl-bin; unzip ../*-linux.zip # - script: cd $(Agent.TempDirectory); mkdir musl-bin; cd musl-bin; unzip ../*-linux.zip
- script: cd $(Agent.TempDirectory); mkdir win32-bin; cd win32-bin; unzip ../*x86-win*.zip - script: cd $(Agent.TempDirectory); mkdir win32-bin; cd win32-bin; unzip ../*x86-win*.zip