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