Skip to content

Deploy Documentation to GitHub Pages #169

Deploy Documentation to GitHub Pages

Deploy Documentation to GitHub Pages #169

Workflow file for this run

---
name: Deploy Documentation to GitHub Pages
on:
push:
branches: [main]
schedule:
- cron: "0 12 * * 5"
pull_request_target:
types: [closed]
branches: [main]
permissions:
contents: read
pages: write
id-token: write
concurrency:
group: "pages"
cancel-in-progress: false
jobs:
deploy-guide:
runs-on: ubuntu-latest
steps:
- name: Checkout Code
uses: actions/checkout@df4cb1c069e1874edd31b4311f1884172cec0e10 # v6
- name: Install Dependencies
run: pip install -r requirements.txt
- name: Build Documentation
run: ./build.sh
- name: Upload Pages Artifact
uses: actions/upload-pages-artifact@fc324d3547104276b827a68afc52ff2a11cc49c9 # v5
with:
path: ./build/html
- name: Deploy to GitHub Pages
id: deployment
uses: actions/deploy-pages@cd2ce8fcbc39b97be8ca5fce6e763baed58fa128 # v5