comment out muslinux build

Signed-off-by: Nikolaj Bjorner <[email protected]>
Z3Prover · May 29, 2022 · 9ec34d9 · 9ec34d9
1 parent 6abea2d
commit 9ec34d9
Showing 1 changed file with 17 additions and 17 deletions.
diff --git 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"