skip unit tests for arm

Z3Prover · Apr 8, 2022 · fbd35fb · fbd35fb
1 parent 91ca028
commit fbd35fb
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
@@ -31,7 +31,6 @@ stages:
     steps:
     - script: python scripts/mk_unix_dist.py --dotnet-key=$(Build.SourcesDirectory)/resources/z3.snk --arch=arm64
     - 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@1
       inputs: