You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

32 lines
650 B

on:
3 years ago
push:
branches:
- master
name: Deploy to Github Pages
jobs:
deploy:
3 years ago
name: deploy
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@master
- name: Setup mdBook
3 years ago
uses: peaceiris/actions-mdbook@v1
with:
mdbook-version: "latest"
3 years ago
- name: setup python
3 years ago
uses: actions/setup-python@v2
with:
python-version: 3.8
3 years ago
run: |
python build_docs.py
3 years ago
- name: Deploy
3 years ago
uses: JamesIves/github-pages-deploy-action@master
env:
ACCESS_TOKEN: ${{ secrets.GITHUB_TOKEN }}
BRANCH: gh-pages
FOLDER: book
BUILD_SCRIPT: touch book/.nojekyll