on:
  push: {}
  pull_request:
    types: [opened, reopened, synchronize]
name: CI
jobs:
  test:
    runs-on: ubuntu-latest
    strategy:
      matrix:
        python-version: ['3.7', '3.8', '3.9', '3.10', 'pypy-3.7-v7.3.3']
    steps:
    - name: Check out source code
      uses: actions/checkout@v2
      with:
        fetch-depth: 0
    - name: Set up Python
      uses: actions/setup-python@v2
      with:
        python-version: ${{ matrix.python-version }}
    - name: Install dependencies
      run: |
        sudo apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys FA8E1301F4D3932C
        sudo add-apt-repository 'deb http://ppa.launchpad.net/sri-csl/formal-methods/ubuntu bionic main'
        sudo apt-get update
        sudo apt-get install yices2
        pip install coverage codecov yowasp-yosys
        pip install -e .[builtin-yosys]
    - name: Preserve Wasm cache
      uses: actions/cache@v1
      with:
        path: |
          ~/.cache/wasmtime
          ~/.cache/yowasp
        key: ${{ runner.os }}-wasm
    - name: Run tests
      run: |
        export AMARANTH_USE_YOSYS=builtin YOSYS=yowasp-yosys SBY=yowasp-sby SMTBMC=yowasp-yosys-smtbmc
        export PYTHONWARNINGS=error
        python -m coverage run -m unittest discover -t . -s tests
        codecov
  document:
    runs-on: ubuntu-latest
    steps:
      - name: Check out source code
        uses: actions/checkout@v2
        with:
          fetch-depth: 0
      - name: Set up Python
        uses: actions/setup-python@v2
      - name: Install dependencies
        run: |
          pip install -r docs/requirements.txt
          pip install -e .
      - name: Build documentation
        run: |
          sphinx-build docs docs/_build
      - name: Publish development documentation
        if: github.event_name == 'push' && github.event.ref == 'refs/heads/main'
        uses: JamesIves/github-pages-deploy-action@releases/v4
        with:
          repository-name: amaranth-lang/amaranth-lang.github.io
          ssh-key: ${{ secrets.PAGES_DEPLOY_KEY }}
          branch: main
          folder: docs/_build
          target-folder: docs/amaranth/latest/
      - name: Extract release version
        if: github.event_name == 'push' && startsWith(github.event.ref, 'refs/tags/v')
        run: echo "VERSION=$(python setup.py --version)" >>$GITHUB_ENV
      - name: Publish release documentation
        if: github.event_name == 'push' && startsWith(github.event.ref, 'refs/tags/v')
        uses: JamesIves/github-pages-deploy-action@releases/v4
        with:
          repository-name: amaranth-lang/amaranth-lang.github.io
          ssh-key: ${{ secrets.PAGES_DEPLOY_KEY }}
          branch: main
          folder: docs/_build
          target-folder: docs/amaranth/v${{ env.VERSION }}/