4 types: [opened, reopened, synchronize]
11 python-version: ['3.6', '3.7', '3.8', '3.9', pypy3]
13 - name: Check out source code
14 uses: actions/checkout@v2
18 uses: actions/setup-python@v2
20 python-version: ${{ matrix.python-version }}
21 - name: Install dependencies
23 sudo add-apt-repository ppa:sri-csl/formal-methods
25 sudo apt-get install yices2
26 pip install setuptools setuptools_scm wheel coverage codecov yowasp-yosys nmigen-yosys
28 - name: Preserve wasmtime cache
29 uses: actions/cache@v1
31 path: ~/.cache/wasmtime
32 key: ${{ runner.os }}-wasmtime
35 export NMIGEN_USE_YOSYS=builtin YOSYS=yowasp-yosys SBY=yowasp-sby SMTBMC=yowasp-yosys-smtbmc
36 export PYTHONWARNINGS=error
37 python -m coverage run -m unittest
40 runs-on: ubuntu-latest
42 - name: Check out source code
43 uses: actions/checkout@v2
47 uses: actions/setup-python@v2
48 - name: Install dependencies
50 python -m pip install --upgrade setuptools setuptools_scm wheel
51 pip install -r docs/requirements.txt
53 - name: Build documentation
55 sphinx-build docs docs/_build
56 - name: Publish documentation
57 if: github.event_name == 'push' && github.event.ref == 'refs/heads/master'
58 uses: JamesIves/github-pages-deploy-action@releases/v3
60 GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
63 TARGET_FOLDER: latest/