Skip to content

CI: Skip running redundant builds #19

CI: Skip running redundant builds

CI: Skip running redundant builds #19

Workflow file for this run

name: docs
on:
pull_request: ~
push:
branches:
- main
# Skip running redundant builds.
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
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@v4
- name: Set up Python
uses: actions/setup-python@v4
with:
python-version: '3.11'
- name: Build docs
run: |
cd docs && make check