ci.yml

name: CI

on:
  push:
    branches:
      - master
  pull_request:
  workflow_dispatch:

jobs:
  ci:
    uses: angr/ci-settings/.github/workflows/angr-ci.yml@master
  windows:
    uses: ./.github/workflows/windows.yml
  macos:
    uses: ./.github/workflows/macos.yml
  docs:
    runs-on: ubuntu-22.04
    steps:
      - name: Checkout code
        uses: actions/checkout@v3
      - name: Setup python
        uses: actions/setup-python@v4
        with:
          python-version: 3.8
      - name: Install
        run: pip install .[docs]
      - name: Build docs
        run: cd docs && make html
      - name: Build coverage
        run: cd docs && make coverage
      - name: Test coverage
        run: |
          if [ -s docs/_build/coverage/python.txt ]; then
            echo "Doc coverage is missing for the for:"
            cat docs/_build/coverage/python.txt
            exit 1
          fi