mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-08-18 09:12:16 +00:00
Code Activity

remove upload artifact for azure-pipeline

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2025-08-15 09:49:47 -07:00
parent e24a5b6624
commit 7422d819a3
1 changed files with 0 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

9
azure-pipelines.yml
View file

@ -56,15 +56,6 @@ jobs:
- script: "pip install build git+https://github.com/rhelmot/auditwheel"
- script: "cd src/api/python && python -m build && AUDITWHEEL_PLAT= auditwheel repair --best-plat dist/*.whl && cd ../../.."
- script: "pip install ./src/api/python/wheelhouse/*.whl && python - <src/api/python/z3test.py z3 && python - <src/api/python/z3test.py z3num"
- task: CopyFiles@2
inputs:
sourceFolder: src/api/python/wheelhouse
contents: '*.whl'
targetFolder: $(Build.ArtifactStagingDirectory)
- task: PublishPipelineArtifact@0
inputs:
artifactName: 'ManyLinuxPythonBuildAMD64'
targetPath: $(Build.ArtifactStagingDirectory)
- job: ManyLinuxPythonBuildArm64
timeoutInMinutes: 90