From 9ec34d96cecdbf1ddb3cdacc6e3b306c1a17da67 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 28 May 2022 18:14:42 -0700 Subject: [PATCH] comment out muslinux build Signed-off-by: Nikolaj Bjorner --- scripts/nightly.yaml | 34 +++++++++++++++++----------------- 1 file changed, 17 insertions(+), 17 deletions(-) diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml index 6ee80a7e7..2a163c41b 100644 --- a/scripts/nightly.yaml +++ b/scripts/nightly.yaml @@ -104,23 +104,23 @@ stages: artifactName: '$(name)Build' targetPath: $(Build.ArtifactStagingDirectory) - - job: MuslLinuxBuild - variables: - python: "/opt/python/cp310-cp310/bin/python" - name: MuslLinux - displayName: "MuslLinux build" - pool: - vmImage: "Ubuntu-18.04" - container: "quay.io/pypa/musllinux_1_1_x86_64:latest" - steps: - - script: $(python) scripts/mk_unix_dist.py --nodotnet --nojava - - 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: '$(name)Build' - targetPath: $(Build.ArtifactStagingDirectory) +# - job: MuslLinuxBuild +# variables: +# python: "/opt/python/cp310-cp310/bin/python" +# name: MuslLinux +# displayName: "MuslLinux build" +# pool: +# vmImage: "Ubuntu-18.04" +# container: "quay.io/pypa/musllinux_1_1_x86_64:latest" +# steps: +# - script: $(python) scripts/mk_unix_dist.py --nodotnet --nojava +# - 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: '$(name)Build' +# targetPath: $(Build.ArtifactStagingDirectory) - job: Windows32 displayName: "Windows 32-bit build"