File tree Expand file tree Collapse file tree 1 file changed +19
-0
lines changed Expand file tree Collapse file tree 1 file changed +19
-0
lines changed Original file line number Diff line number Diff line change 7070 with :
7171 github_token : ${{ secrets.GITHUB_TOKEN }}
7272 publish_dir : ./docs/_build/html
73+
74+ - name : Generate tutorial notebooks
75+ run : |
76+ pixi run python -m jupytext docs/tutorial/intro.md --to ipynb -o docs/notebook/01-intro.ipynb
77+ pixi run python -m jupytext docs/tutorial/data.md --to ipynb -o docs/notebook/02-data.ipynb
78+ pixi run python -m jupytext docs/tutorial/models.md --to ipynb -o docs/notebook/03-models.ipynb
79+ pixi run python -m jupytext docs/tutorial/registration.md --to ipynb -o docs/notebook/04-registration.ipynb
80+ pixi run python -m jupytext docs/tutorial/solution.md --to ipynb -o docs/notebook/05-solution.ipynb
81+
82+ - name : Commit updated notebooks
83+ if : github.event_name == 'push' && github.ref == 'refs/heads/main'
84+ run : |
85+ if [[ -n "$(git status --porcelain docs/notebook/*.ipynb)" ]]; then
86+ git config user.name "github-actions[bot]"
87+ git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
88+ git add docs/notebook/*.ipynb
89+ git commit -m "Update tutorial notebooks"
90+ git push
91+ fi
You can’t perform that action at this time.
0 commit comments