4 types: [opened, reopened, synchronize]
11 python-version: ['3.6', '3.7', '3.8', 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 python -m unittest discover
39 runs-on: ubuntu-latest
41 - name: Check out source code
42 uses: actions/checkout@v2
46 uses: actions/setup-python@v2
47 - name: Install dependencies
49 python -m pip install --upgrade setuptools setuptools_scm wheel
50 pip install -r docs/requirements.txt
52 - name: Build documentation
54 sphinx-build docs docs/_build
55 - name: Publish documentation
56 if: github.event_name == 'push' && github.event.ref == 'refs/heads/master'
57 uses: JamesIves/github-pages-deploy-action@releases/v3
59 GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
62 TARGET_FOLDER: latest/