mirror of
https://github.com/Z3Prover/z3
synced 2025-04-04 16:44:07 +00:00
7 lines
396 B
YAML
7 lines
396 B
YAML
# 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
|