From a393195f618c9366f5efd6576e7c617d3bdcc05e Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 11 Jun 2019 11:49:17 -0700 Subject: [PATCH] comment out jupyter validation Signed-off-by: Nikolaj Bjorner --- azure-pipelines.yml | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/azure-pipelines.yml b/azure-pipelines.yml index 35c201327..5bc3326b1 100644 --- a/azure-pipelines.yml +++ b/azure-pipelines.yml @@ -80,9 +80,10 @@ jobs: ./test-z3 -a cd .. condition: eq(variables['runUnitTest'], 'True') - - script: | - jupyter-nbconvert --to notebook --execute --output out.txt examples/python/tutorial/jupyter/guide.ipynb - jupyter-nbconvert --to notebook --execute --output out.txt examples/python/tutorial/jupyter/strategies.ipynb +# Need to install jupyter-nbconvert +# - script: | +# jupyter-nbconvert --to notebook --execute --output out.txt examples/python/tutorial/jupyter/guide.ipynb +# jupyter-nbconvert --to notebook --execute --output out.txt examples/python/tutorial/jupyter/strategies.ipynb # jupyter-nbconvert --to notebook --execute --output out.txt examples/python/tutorial/jupyter/advanced.ipynb - script: git clone https://github.com/z3prover/z3test z3test - script: python z3test/scripts/test_benchmarks.py build/z3 z3test/regressions/smt2