Skip to content

Docs

Docs #784

Workflow file for this run

name: Docs
on:
push:
branches: [ main ]
pull_request:
branches: [ main ]
schedule:
- cron: '0 7 * * *'
# 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 on ${{ matrix.os }}
runs-on: ${{ matrix.os }}
strategy:
matrix:
os: [ubuntu-latest, macos-latest]
steps:
- name: Acquire sources
uses: actions/checkout@v3
- name: Set up Python
uses: actions/setup-python@v4
with:
python-version: "3.10"
- name: Build docs
run: |
cd docs && make check