66 lines
2 KiB
YAML
66 lines
2 KiB
YAML
on:
|
|
push: {}
|
|
pull_request:
|
|
types: [opened, reopened, synchronize]
|
|
name: CI
|
|
jobs:
|
|
test:
|
|
runs-on: ubuntu-latest
|
|
strategy:
|
|
matrix:
|
|
python-version: ['3.6', '3.7', '3.8', '3.9', '3.10', pypy3]
|
|
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 documentation
|
|
if: github.event_name == 'push' && github.event.ref == 'refs/heads/main'
|
|
uses: JamesIves/github-pages-deploy-action@releases/v3
|
|
with:
|
|
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|
|
BRANCH: gh-pages
|
|
FOLDER: docs/_build
|
|
TARGET_FOLDER: latest/
|