Skip to content

NG: Finetune footer spacing #823

NG: Finetune footer spacing

NG: Finetune footer spacing #823

Workflow file for this run

name: docs
on:
pull_request: ~
push:
branches:
- main
# Allow job to be triggered manually.
workflow_dispatch:
# Cancel in-progress jobs when pushing to the same branch.
concurrency:
cancel-in-progress: true
group: ${{ github.workflow }}-${{ github.ref }}
jobs:
documentation:
name: Build docs with Python ${{ matrix.python-version }} on ${{ matrix.os }}
runs-on: ${{ matrix.os }}
strategy:
matrix:
os: ['ubuntu-latest', 'macos-latest']
python-version: ['3.9', '3.12']
steps:
- uses: actions/checkout@v4
- name: Set up Python
uses: actions/setup-python@v5
with:
python-version: ${{ matrix.python-version }}
- name: Install PlantUML on Linux
if: matrix.os == 'ubuntu-latest'
run: |
sudo apt-get update
sudo apt-get install plantuml
- name: Install PlantUML on macOS
if: matrix.os == 'macos-latest'
run: brew install plantuml
- name: Build docs
run: |
cd docs && make check