Skip to content

Update Git Usage Page #35

Update Git Usage Page

Update Git Usage Page #35

name: Test Sphinx HTML compile
# Runs on pushes to pull request
on: pull_request
# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
permissions:
contents: read
id-token: write
jobs:
# Build job
build:
name: Test Compile Sphinx HTML
runs-on: ubuntu-latest
steps:
- name: Checkout Repository
uses: actions/checkout@v4
with:
submodules: 'true'
- name: Install Sphinx
run: |
sudo apt install python3-sphinx-rtd-theme
- name: Install Graphviz
run: |
sudo apt-get update
sudo apt-get install -y graphviz
- name: Setup Pages
id: pages
uses: actions/configure-pages@v5
- name: Build with sphinx
run: make html SPHINXOPTS="-W"
- name: Upload artifact
uses: actions/upload-pages-artifact@v3
with:
path: ./_build/html