diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index 990b38b44..4b8445413 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -80,6 +80,9 @@ 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
     - script: git clone https://github.com/z3prover/z3test z3test
     - script: python z3test/scripts/test_benchmarks.py build/z3 z3test/regressions/smt2