123456789101112131415161718192021222324252627 |
- name: Continuous integration
- on:
- push:
- pull_request:
- concurrency:
- group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
- cancel-in-progress: true
- jobs:
- build:
- runs-on: ubuntu-22.04
- steps:
- - name: Checkout
- uses: actions/checkout@v4
- - name: Style checks via pre-commit
- uses: pre-commit/action@v3.0.1
- - name: Install dependencies
- run: sudo pip3 install -r requirements.txt
- # Use dummy builder to improve performance as we don't need the generated HTML in this workflow.
- - name: Sphinx build
- run: make SPHINXOPTS='--color -W' dummy
|