From 5005fcc0e05fc022c882209c1cfa1fd3723bd3d8 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 11 Jun 2019 11:52:42 -0700 Subject: [PATCH] extract jupyter template Signed-off-by: Nikolaj Bjorner --- azure-pipelines.yml | 6 +----- scripts/test-jupyter.yml | 6 ++++++ 2 files changed, 7 insertions(+), 5 deletions(-) create mode 100644 scripts/test-jupyter.yml diff --git a/azure-pipelines.yml b/azure-pipelines.yml index 5bc3326b1..31203f06e 100644 --- a/azure-pipelines.yml +++ b/azure-pipelines.yml @@ -80,11 +80,7 @@ jobs: ./test-z3 -a cd .. condition: eq(variables['runUnitTest'], 'True') -# 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 +# - template: scripts/test-jupyter.hml - script: git clone https://github.com/z3prover/z3test z3test - script: python z3test/scripts/test_benchmarks.py build/z3 z3test/regressions/smt2 diff --git a/scripts/test-jupyter.yml b/scripts/test-jupyter.yml new file mode 100644 index 000000000..0202dd7af --- /dev/null +++ b/scripts/test-jupyter.yml @@ -0,0 +1,6 @@ +# Need to install jupyter-nbconvert +# -steps +# - 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