diff --git a/azure-pipelines.yml b/azure-pipelines.yml index 9a5fcfc2c..8d843c5ea 100644 --- a/azure-pipelines.yml +++ b/azure-pipelines.yml @@ -24,8 +24,8 @@ jobs: make -j3 make -j3 examples make -j3 test-z3 - ./cpp_example - ./c_example +# ./cpp_example +# ./c_example cd .. - template: scripts/test-z3.yml - template: scripts/test-regressions.yml