Skip to content

Mettre le partage de dossier en extra #90

Mettre le partage de dossier en extra

Mettre le partage de dossier en extra #90

Workflow file for this run

name: Build Jupyter Book with GitHub pages
on:
push:
branches:
- main
jobs:
generate-book:
runs-on: ubuntu-latest
steps:
# https://github.com/actions/checkout
- name: Git checkout latest revision
uses: actions/checkout@v2
# https://github.com/actions/setup-python
- name: Set up Python 3.7
uses: actions/setup-python@v2
with:
python-version: 3.7
- name: Install dependencies
run: |
pip install -r requirements.txt
# https://jupyterbook.org/start/build.html
- name: Build the Jupyter book
run: |
jupyter-book build .
# Push the book's HTML to github-pages
- name: GitHub Pages action
uses: peaceiris/[email protected]
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./_build/html