Skip to content

Delete .github/workflows /deploy.yml #2

Delete .github/workflows /deploy.yml

Delete .github/workflows /deploy.yml #2

Workflow file for this run

name: Deploy
on:
push:
branches: [main, dev]
jobs:
deploy-doc:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
with:
submodules: "true"
- uses: actions/setup-python@v2
with:
python-version: "3.10"
- name: Install dependencies
run: pip install -r requirements.txt
- name: build doc
run: |
make html
cp scripts/mermaid.js build/html/_static/
- name: create .nojekyll
run: touch build/html/.nojekyll
- name: Push to gh-pages
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./build/html