Skip to content

Improve graphic of types of search #94

Improve graphic of types of search

Improve graphic of types of search #94

Workflow file for this run

name: Deploy Jupyter Book to GitHub Pages
on:
push:
branches:
- main # Change this if your main branch has a different name
jobs:
deploy:
runs-on: ubuntu-latest
permissions:
pages: write
id-token: write
contents: write
steps:
- name: Checkout repository
uses: actions/checkout@v4
- name: Set up Python 3.11
uses: actions/setup-python@v5
with:
python-version: '3.11'
cache: pip
- name: Install dependencies
run: |
pip install -U pip
pip install -r requirements.txt
- name: Build the Jupyter Book
run: jupyter-book build --builder dirhtml TeSS_docs/
#- name: GitHub Pages action
# uses: peaceiris/actions-gh-pages@v3.6.1
# with:
# github_token: ${{ secrets.GITHUB_TOKEN }}
# publish_dir: "TeSS_docs/_build/dirhtml"
#- name: Upload artifact
# uses: actions/upload-artifact@v4
# with:
# path: "TeSS_docs/_build/dirhtml"
#- name: Deploy to GitHub Pages
## id: deployment
## uses: actions/deploy-pages@v4
# run: |
# ghp-import -n -p -f TeSS_docs/_build/dirhtml
#- name: Deploy
# uses: peaceiris/actions-gh-pages@v4
# with:
# github_token: ${{ secrets.GITHUB_TOKEN }}
# publish_dir: TeSS_docs/_build/dirhtml
- name: Deploy to GitHub Pages
run: |
ghp-import -n -p -f TeSS_docs/_build/dirhtml