Skip to content

docs: mention the tour in the Web Editor docs (#230) #9

docs: mention the tour in the Web Editor docs (#230)

docs: mention the tour in the Web Editor docs (#230) #9

Workflow file for this run

name: Deploy docs
on:
push:
branches:
- main
jobs:
docs:
# Create latest docs
runs-on: ubuntu-latest
permissions:
contents: write # to push to the gh-pages branch
steps:
- uses: actions/checkout@v4
with:
fetch-depth: 0 # needed to get the gh-pages branch
- uses: actions/setup-python@v5
with:
python-version: "3.8"
- name: Install dependencies and Studio
run: |
python -m pip install --upgrade pip
pip install wheel
pip install -r docs/requirements.txt -e .
- name: Setup doc deploy
run: |
git config user.name 'github-actions[bot]'
git config user.email 'github-actions[bot]@users.noreply.github.com'
- name: Deploy docs with mike 🚀
run: |
mike deploy --push --update-aliases dev latest