Skip to content

add github_actions

add github_actions #34

Workflow file for this run

name: GitHub Pages
on:
push:
branches:
- main # Set a branch name to trigger deployment
jobs:
publish:
name: Deploy Site
runs-on: ubuntu-22.04
environment: github-pages
steps:
- name: Checkout Repo
uses: actions/checkout@v4
- name: Install
shell: bash
run: |
pip install -r requirements.txt
sphinx-build -b html docs build
- name: Make snippets to rst
shell: bash
working-directory: snippets
run: |
python3 snippets.py
- name: Deploy Website
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./build